计算机界最负盛名的奖项——图灵奖于今日出炉。国际计算机协会(ACM)官网宣布将此奖项授予哥伦比亚大学计算机科学名誉教授 Alfred Vaino Aho 和斯坦福大学计算机科学名誉教授 Jeffrey David Ullman,以表彰他们在编程语言实现领域基础算法和理论方面的成就。
除了对编程语言实现本身的贡献以外,这两位教授还将此领域的诸多研究成果编纂成教材,深刻影响了数代计算机科学家以及程序员。
图灵奖通常被称为“计算机界的诺贝尔奖”,奖金为 100 万美元,由谷歌公司提供财政支持。该奖项以英国数学家艾伦·M·图灵的名字命名,他曾研究了计算的数学基础和极限问题。
计算机软件是现代社会人类与科技互动的驱动器。不论是在手机、汽车还是网络公司内部的大型服务器上,世界上的每一个程序都是人类使用高级语言编写,之后再翻译成低级语言以供计算机运行的。这种将高级语言程序翻译成计算机能识别的低级语言的技术在很大程度上要归功于 Aho 和 Ullman。
Aho 是哥伦比亚大学荣誉教授。他于 1995 年加入哥伦比亚大学计算机科学系。
在加入哥伦比亚大学之前,Aho 是贝尔实验室负责计算科学研究的副总裁,在那里工作了 30 多年。Aho 本科毕业于多伦多大学,在普林斯顿大学获得电气工程/计算机科学硕士和博士学位。Aho 曾获得 IEEE 冯诺伊曼奖章和 NEC C&C 基金会 C&C 奖。他是美国国家工程院、美国艺术与科学院和加拿大皇家学会的成员。同时他也是世界计算机协会(ACM)、IEEE、贝尔实验室和美国科学促进会的成员。
Ullman 是斯坦福大学名誉教授,也是以计算机科学主题的在线学习平台 Gradiance Corporation 的首席执行官。他于 1979 年加入斯坦福大学,在那之前曾于 1969 年至 1979 年在普林斯顿大学任教,并于 1966 年至 1969 年担任贝尔实验室的技术人员。厄尔曼毕业于哥伦比亚大学,在普林斯顿大学获得计算机科学博士学位。
Ullman 的荣誉包括获得 IEEE 冯诺伊曼奖章奖章、NEC C&C 基金会 C&C 奖、Donald E.Knuth 奖和 ACM Karl V.Karlstrom 杰出教育家奖。他是美国国家工程院、国家科学院、美国艺术与科学院的成员,也是世界计算机协会的成员。
1967 年,两位计算机科学家在贝尔实验室开始了他们的合作。几十年间,Aho 和 Ullman 奠定了编程语言理论、编程语言实现及算法设计和分析的基础,他们通过技术创新和影响甚广的教材为编程语言领域做出了重大贡献。
世界计算机协会主席科西斯解释说:“计算机编程的实践和日益先进的软件系统开发几乎支撑了在过去 50 年中社会上所有的技术变革。虽然无数研究人员和实践者为这些技术做出了贡献,但 Aho 和 Ullman 的工作尤其具有影响力,他们帮助我们理解了算法的理论基础,并为编译器和编程语言设计的研究和实践指明了方向。”
谷歌高级研究员、谷歌人工智能高级副总裁迪恩补充道:“Aho 和 Ullman 在算法、形式语言理论、编译器和数据库方面确立了基本概念,这些概念对当今编程和软件领域的发展起到了重要作用。他们还向人们展示了这些不同领域的研究是如何紧密联系在一起的。Aho 和 Ullman 为计算机科学引入了关键的技术性概念,包括必不可少的特定算法等。
在计算机科学教育方面,他们的教材一直是培养学生、研究人员和从业人员的黄金标准。”
Aho 和 Ullman 在加入贝尔实验室之前都是在普林斯顿大学获得博士学位的,他们从 1967 年到 1969 年在贝尔实验室工作。在那期间,他们开发了用于分析和翻译编程语言的高效算法。1969 年,Ullman 开始了在学术界的职业生涯,并最终加入了斯坦福大学。
而 Aho 在加入哥伦比亚大学之前在贝尔实验室工作了 30 年。尽管在不同的机构工作,但两人的合作持续了数十年。在此期间,他们共同撰写了书籍和论文,并为算法、编程语言、编译器和软件系统引入了新技术。
Aho 和 Ullman 合著了九本影响深远的教材(包括更新版本),其中最广为人知的两本书是《编译程序设计原理》(1977) 和《计算机算法设计与分析》(1974)。这些书籍深刻影响了数代计算机科学家和程序员。
图灵奖(Turing Award),由 ACM 于 1966 年设立,全称 ACM A.M. 图灵奖,专门奖励那些对计算机事业作出重要贡献的个人。
图灵奖名称取自计算机科学先驱、英国科学家艾伦·麦席森·图灵,这个奖设立目的之一正是为了纪念这位伟大的科学家。图灵奖对获奖者要求极高,评奖程序极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名在同一方向上做出贡献的科学家同时获奖。因此,图灵奖也是计算机界最负盛名、最崇高的一个奖项,有“计算机界的诺贝尔奖”之称。
艾伦·麦席森·图灵是英国数学家、逻辑学家,被称为计算机之父,人工智能之父。
1931 年,图灵进入剑桥大学国王学院,毕业后到美国普林斯顿大学攻读博士学位。二战爆发后,图灵回到剑桥,后曾协助军方破解德国的著名密码系统 Enigma,帮助盟军取得了二战的胜利。图灵提出的著名的图灵机模型,为现代计算机的逻辑工作方式奠定了基础。此外,图灵对于人工智能的发展有诸多贡献,提出了一种用于判定机器是否具有智能的试验方法,即图灵测试。至今,每年都有图灵测试的比赛。
但不幸的是,二战结束后,图灵因同性恋倾向在当时的英国遭受歧视,被政府定罪,被迫接受“治疗”,职业生涯结束。1954 年 6 月 7 日,图灵被发现死于家中的床上,床头放着一个被咬了一口的苹果,其中含有氰化物,警方调查后结论为服毒自杀。直到 2013 年 12 月 24 日,英国司法部长宣布:图灵当时受到的判决“不公,有歧视”,现已获得女王伊丽莎白二世的赦免,称“女王的赦免是对这位优秀人物的献礼”。
同时,英国前首相卡梅伦表示:图灵在二战时破解德军密码、拯救国家上发挥了关键作用,是一个“了不起的人”。