杰兰特
杰兰特 琼斯
名誉研究员
电子邮箱：Geraint.Jones@wolfson.ox.ac.uk
利息
我对硬件设计方法感兴趣，这些方法可以用来帮助控制大型设计的复杂性，并提高设计者对其正确性的信心。
其中一些工作涉及一个名为红宝石其旨在用于常规的（阵列结构的）同步硬件设计；Ruby设计从规范中派生的过程是以编写函数程序的计算方法为模型的。
在此之前，我参与了occam编程语言和transputer的设计，并研究了通信顺序过程的模型。
那些我的出版物其中仍然存在的在线副本包括关于Ruby的论文,关于occam的论文，并且很少其他奇怪的事情.
活动
