Page 311 - 信息的脉络

·附录：群星闪耀的年代·
获奖年份：2009 年。
查尔斯·萨克尔被称为“现代 PC 之父”，主持或者参与了 Alto、以太网、激
光打印机等的设计与开发。其中，Alto 是今天现代个人电脑的鼻祖，配有鼠标、

图形化用户界面，支持局域网联网。

45. 莱斯利·瓦伦特（Leslie Valiant）

贡献领域：对众多计算理论所做的变革性的贡献。

获奖年份：2010 年。
莱斯利·瓦伦特在机器学习、计算复杂度理论、并行和分散计算等领域都有

突出贡献，推动了人工智能技术的发展。1984 年提出的概率近似正确模型，攻破
了机器学习中的一个基础问题，即“系统如何处理错误”。

46. 犹大·伯尔（Judea Pearl）

贡献领域：人工智能。
获奖年份：2011 年。
犹大·伯尔提出 - 概率推理与因果关系推理的演算模式，是人工智能领域基

础性的贡献。丰富了 AI 的范式，为 AI 后续发展奠定了一种方向性的基础。

47. 莎菲·戈德瓦塞尔（Shafi Goldwasser）

希尔维奥·米卡利（Silvio Micali）

贡献领域：由于在密码学和复杂理论领域做出创举性工作。
获奖年份：2012 年。
莎菲·戈德瓦塞尔和希尔维奥·米卡利共同开创了可证明安全性领域的先河，

奠定了现代密码学理论的数学基础。通过形式化加密安全是可计算的而不是绝对
的概念，他们创造出了将密码学从艺术变为一门科学的数据架构。

48. 莱斯利·兰伯特（Leslie Lamport）
贡献领域：在提升计算机系统的可靠性及稳定性领域的杰出贡献。

获奖年份：2013 年。
莱斯利·兰伯特的分布式计算理论奠定了这门学科的基础，他在 1978 年发表

的论文《分布式系统内的时间、时钟事件顺序》成为计算机科学史上被引用最多
的文献，并且他为“并发系统的规范与验证”研究贡献了核心原理。

• 295 •