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

贡献领域：ALGOL 60 语言 开发了 BNF 范式，改进了编程语言，也投入了 ALGOL 60 的开发工作，ALGOL 60 是许多后来的程序设计语言，包括今天那些必不可少的软件工程工具的原型，由于诺尔在定义 ALGOL 60 这种程序设计语言方面的先驱性工作而颁发给他图灵奖。 法兰西斯·艾伦 Frances E. Allen 贡献领域：优化编译器 法兰西斯·艾伦致力于研究并行计算机的编译问题，在以往的工作中促成了许多目前广泛应用于商业编译器中的程序优化算法和技术，奠定了现代优化编译器和自动并行执行技术的基础。 爱德蒙·克拉克 Edmund M. Clarke 艾伦·爱默生 Allen Emerson 约瑟夫·斯发基斯 Joseph Sifakis 贡献领域：开发自动化方法检测计算机硬件和软件中的设计错误 模型检查理论基础是 1981年由斯发基斯在法国、克拉克和 爱默生在美国分别独立提出的。 模型检查（Model-Checking），是用数学算法来验证一个软件或硬件系统设计是否满足预设的需求，工业检测方面应用包括：芯片检测、通信协议、外部设备主控软件、嵌入式系统（如在飞机、火车、火箭、卫星或移动电话）以及安全算法等。 芭 芭拉·利斯科夫 Barbara Liskov 贡献领域：编程语言和系统设计的实践与理论 芭芭拉·利斯科夫领导了多个重要项目，包括第一个支持数据抽象的面向对象编程语言 CLU 的设计与实现，第一个支持分布式程序实现的高级语言 Argus，面向对象数据库系统Thor，还有最近的Byzantine分布式容错系统。 其中，CLU 语言对现代主流语言如 C++/Java/Python/Ruby/C# 都有比较深远的影响。而她从这些实际项目中提炼出来的数据抽象思想，已经成为软件工程中最重要的精髓之一。 查尔斯·萨克尔 Charles Thacker 贡献领域：帮助设计、制造第一款现代 PC 查尔斯·萨克尔被称为“现代 PC之父”，主持或者参与了 Alto、以太网、激光打印机等的设计与开发。其中，Alto 是今天现代个人电脑的鼻祖，配有鼠标、图形化用户界面，支持局域网联网。 莱斯利·瓦伦特 Leslie Valiant 贡献领域：对众多计算理论所做的变革性的贡献 莱斯利·瓦伦特在机器学习、计算复杂度理论、并行和分散计算等领域都有突出贡献，推动了人工智能技术的发展。1984 年提出的概率近似正确模型，攻破了机器学习中的一个基础问题，即「系统如何处理错误」。 犹大·伯尔 Judea P earl 贡献领域：人工智能 犹大·伯尔提出-概率推理与因果关系推理的演算模式，是人工智能领域基础性的贡献。丰富了 AI 的范式，为 AI 后续发展奠定了一种方向性的基础。 莎菲·戈德瓦塞尔 Shafi Goldwasser 希尔维奥·米卡利 Silvio Micali 贡献领域：由于在密码学和复杂理论领域做出创举性工作 莎菲·戈德瓦塞尔和希尔维奥·米卡利共同开创了可证明安全性领域的先河，奠定了现代密码学理论的数学基础。通过形式化加密安全是可计算的而不是绝对的概念，他们创造出了将密码学从艺术变为一门科学的数据架构。 莱斯利·兰伯特 Leslie Lamport