国际计算机协会（ACM，Association for Computing Machinery ）宣布，将 2020 年 ACM A.M. 图灵奖授予哥伦比亚大学计算机科学名誉教授Alfred Vaino Aho和斯坦福大学计算机科学名誉教授Jeffrey David Ullman；以表彰他们在编程语言实现领域基础算法和理论方面的成就；以及其所编撰的书籍对几代计算机科学家所造成的积极影响。
Aho 和 Ullman 共同撰写了九本有广泛影响力的书（包括第一版和后续版本）。其中最著名的两本书为：《计算机算法的设计与分析》和《编译程序设计原理》。
《计算机算法的设计与分析》被认为是该领域的经典之作，是十多年来计算机科学研究中被引用最多的书籍之一。在计算机科学还是一个新兴领域的时候，它就成为了全世界算法课程的标准教材。此书除了融入了作者自己对算法的研究贡献外，还探讨了如何用随机存取存储器 (RAM) 作为基本模型，分析递归关系算法的时间和空间复杂性。RAM 模型还将不同的单个算法编成了通用的设计方法。本书介绍的 RAM 模型和一般算法设计技术现在已经成为标准计算机科学课程的一个组成部分。
《编译程序设计原理》一书将形式语言理论和语法制导翻译技术融入到编译器设计过程中。由于其封面设计，该书常被称为"龙书"，它清晰地阐述了将高级编程语言转换成机器代码的各个阶段，将整个编译器构建模块化。书中还包括了作者对词法分析技术、语法分析技术和代码生成技术的算法贡献等内容。本书最新版本为《编译器：原理、技术和工具》于 2007 年出版（与 Ravi Sethi 和 Monica Lam 合著），至今仍是编译器设计的标准教科书。
ACM公告内容指出“计算机软件可以说是现代人类社会与科技进行交互的一个驱动器。实际上，我们世界上运行的每一个程序（从手机或汽车上的程序到大型网络公司内部巨大的服务器农场上运行的程序）都是由人类用高级编程语言编写的；然后再编译成低级代码来执行。而用于现代编程语言的这种编译的许多技术则都源自于 Aho 和 Ullman。”
Aho 是哥伦比亚大学的荣誉教授，于 1995 年加入哥伦比亚大学的计算机科学系。在加入哥伦比亚大学之前，Aho 曾在贝尔实验室担任计算科学研究副总裁，在该实验室工作了 30 多年。其毕业于多伦多大学，并在普林斯顿大学获得电子工程/计算机科学的硕士和博士学位。
Aho 的荣誉包括 IEEE 冯诺伊曼奖章（John von Neumann Medal）和 NEC C&C 基金会 C&C 奖 。他是美国国家工程院、美国艺术与科学院和加拿大皇家学会的成员；也是 ACM、IEEE、贝尔实验室和美国科学促进会的成员。
Ullman 是斯坦福大学名誉教授，也是 Gradiance 公司的首席执行官；Gradiance 公司是一个针对各种计算机科学主题的在线学习平台。他于 1979 年加入斯坦福大学的教师队伍。在斯坦福大学之前，他曾于 1969 年至 1979 年在普林斯顿大学任教，并于 1966 年至 1969 年在贝尔实验室担任技术人员。Ullman 毕业于哥伦比亚大学，并在普林斯顿大学获得计算机科学博士学位。
Ullman 的荣誉包括获得了 IEEE 冯诺伊曼奖章奖章、NEC C&C 基金会 C&C 奖、Donald E.Knuth 奖和 ACM Karl V.Karlstrom 杰出教育家奖。他是美国国家工程院、国家科学院和美国艺术与科学院的成员，也是 ACM 的成员。
Aho 和 Ullman 的合作从 1967 年在贝尔实验室开始，且持续了几十年，他们为编程语言理论和实现以及算法设计和分析奠定了基矗通过其技术贡献和有影响力的教科书，两人为编程语言编译器领域做出了广泛而重大的贡献。ACM 称，这两人早期在算法设计和分析技术方面的联合工作，为这一时期出现的计算机科学理论核心贡献了重要的思路。
相关文章
