【AI】一文了解72名图灵奖获得者的成就(4)

1990年代

费尔南多·考巴脱 Fernando J. Corbató 贡献领域：CTSS 和 Multics 在科尔巴托领导下成功研制了世界上第一个分时系统 CTSS，成为计算机发展史上有里程碑性质的一个重大突破，开创了以交互方式由多用户同时共享计算机资源的新时代。分时系统的实现也是计算机真正走向普及的开始。 罗宾·米尔纳 Robin Milner 贡献领域：LCF，ML语言，CCS。 在计算机程序设计语言方面，米尔纳和戈顿等人一起提出了形式化逻辑系统的数学模型，实现了他称之为LCF的一个系统——“可计算函数的逻辑”。另一方面的贡献是关于并发计算（concurrent computing）和并行计算（parallel computing）。

巴特勒·兰普森Butler W. Lampson

贡献领域：分布式，个人计算环境。 拉姆泼逊在解决计算机文件系统和分布式系统的技术问题上有许多突出的贡献。例如提出“原子事务”(atomic transaction)的概念、提出采用“三明治式的提交协议”(sandwich commit protocol)提高系统可靠性的方案等等。 尤里斯·哈特马尼斯 Juris Hartmanis 理查德·斯特恩斯 Richard E. Stearns 贡献领域：计算复杂度理论 尤里斯·哈特马尼斯和斯特恩斯合作，对“香农公式”开展了深入的研究，其结果就是那篇著名的论文“论算法的计算复杂性”，这篇论文开辟了计算机科学的一个新的研究领域，即“计算复杂性”，并奠定了它的理论基础。 爱德华·费根鲍姆 Edward Feigenbaum 拉吉·瑞迪 Raj Reddy 贡献领域：大规模人工智能系统 通过实验和研究，证明了实现智能行为的主要手段在于知识，在多数实际情况下是特定领域的知识，从而最早倡导了"知识工程"（Knowledge engineering），并使知识工程成为人工智能领域中取得实际成果最丰富、影响也最大的一个分支。 曼纽尔·布卢姆 Manuel Blum 贡献领域：计算复杂度理论，及其在密码学和程序校验上的应用。 在普林斯顿举行的第五届开关电路理论和逻辑设计学术年会上发表了论文《Computational complexity of recursive sequences（递归序列的计算复杂性）》，论文中首次使用了“计算复杂性”这一术语，由此开辟了计算机科学中的一个新领域，并为之奠定了理论基础。 阿米尔·伯努利 Amir Pnueli 贡献领域：时序逻辑，程序与系统验证。 在计算机科学中引入时序逻辑的开创性的研究工作，和其在编程语言和系统验证方面的突出贡献。 把时态逻辑引入计算机科学，线性时态逻辑是对普通命题逻辑(propositional logic)的扩充，但这一扩充却意义重大，因为这使系统具有了处理随时间变化而改变其值的动态变元（称为时序或时态变元）的能力。 在时态逻辑中，时间的结构可以有线性、分支、离散、连续，基于时间点或时区的这样几种不同情况，可视具体应用背景而定。 道格拉斯·恩格尔巴特 Douglas Engelbart 贡献领域：交互计算 鼠标之父，人机交互的先锋，开发了超文本系统、网络计算机，以及图形用户界面的先驱；并致力于倡导运用计算机和网络，来协同解决世界上日益增长的紧急而又复杂的问题。 詹姆斯·尼古拉·格雷 James Gray 贡献领域：数据库与事务处理 格雷在事务处理技术上的创造性思维和开拓性工作，使他成为该技术领域公认的权威。他的研究成果反映在他发表的一系列论文和研究报告之中，事务处理技术虽然诞生于数据库研究。 但对于分布式系统，client/server 结构中的数据管理与通信，对于容错和高可靠性系统，同样具有重要的意义。