Page 306 - 信息的脉络
P. 306
·信息的脉络·
获奖年份：1990 年。
在科尔巴托领导下成功研制了世界上第一个分时系统 CTSS，成为计算机发展
史上有里程碑性质的一个重大突破，开创了以交互方式由多用户同时共享计算机
资源的新时代。分时系统的实现也是计算机真正走向普及的开始。
26. 罗宾·米尔纳（Robin Milner）
贡献领域：LCF，ML 语言，CCS。
获奖年份：1991 年。
在计算机程序设计语言方面，米尔纳和戈顿等人一起提出了形式化逻辑系统的
数学模型，实现了他称之为 LCF 的一个系统——“可计算函数的逻辑”。另一方面
的贡献是关于并发计算（concurrent computing）和并行计算（parallel computing）。
27. 巴特勒·兰普森（Butler W. Lampson）
贡献领域：分布式，个人计算环境。
获奖年份：1992 年。
拉姆泼逊在解决计算机文件系统和分布式系统的技术问题上有许多突出的贡
献。例如，提出“原子事务”（atomic transaction）的概念、提出采用“三明治式
的提交协议”（sandwich commit protocol）提高系统可靠性的方案等。
28. 尤里斯·哈特马尼斯（Juris Hartmanis）
理查德·斯特恩斯（Richard E. Stearns）
贡献领域：计算复杂度理论。
获奖年份：1993 年。
尤里斯·哈特马尼斯和斯特恩斯合作，对“香农公式”开展了深入的研究，
其结果就是那篇著名的论文“论算法的计算复杂性”，这篇论文开辟了计算机科
学的一个新的研究领域，即“计算复杂性”，并奠定了它的理论基础。
29. 爱德华·费根鲍姆（Edward Feigenbaum）
拉吉·瑞迪（Raj Reddy）
贡献领域：大规模人工智能系统。
获奖年份：1994 年。
通过实验和研究，证明了实现智能行为的主要手段在于知识，在多数实际情
• 290 •
