图灵奖
| 图灵奖 （ACM Turing Award） | |
|---|---|
 | |
| 授予对象 | 为电脑科学作出重要贡献的个人 |
| 国家／地区 | 美国 |
| 主办单位 | 电脑协会 (ACM) |
| 奖励 | US $1,000,000[1] |
| 首次颁发 | 1966年 |
| 最近颁发 | 2023年 |
| 官方网站 | amturing |
图灵奖（英语：ACM A.M. Turing Award），又译杜林奖、A.M.图灵奖[2]，是电脑协会（ACM）于1966年设立的奖项，专门奖励对电脑事业作出重要贡献的个人。其名称取自世界电脑科学的先驱、英国科学家、曼彻斯特大学教授艾伦·图灵（A.M. Turing），这个奖设立目的之一是纪念这位现代电脑科学的奠基者。获奖者必须是在电脑领域具有持久而重大的先进性的技术贡献。大多数获奖者是电脑科学家。图灵奖是电脑界最负盛名的奖项，有“电脑界诺贝尔奖”之称。
图灵奖对获奖者的要求极高，评奖程序也极严，一般每年只奖励一名电脑科学家，只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。2014年11月13日之前图灵奖由英特尔公司以及Google公司赞助，奖金为250,000美元。2014年11月13日，虽然英特尔退出赞助，Google反而将奖金提高到1,000,000美元，和诺贝尔奖奖金相近。[3]
每年，美国电脑协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。任何人都可成为提名人。美国电脑协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。
图灵奖获得者
[编辑]| 年份 | 姓名 | 贡献领域 |
|---|---|---|
| 1966年 | 艾伦·佩利 | 高级程式设计技巧，编译器构造 |
| 1967年 | 莫里斯·威尔克斯 | 存储程序式电脑EDSAC，EDSAC 2，程序库 |
| 1968年 | 理查德·卫斯里·汉明 | 数值方法，自动编码系统，错误检测和纠错码 |
| 1969年 | 马文·闵斯基 | 人工智慧 |
| 1970年 | 詹姆斯·维尔金森 | 数值分析，线性代数，倒退错误分析 |
| 1971年 | 约翰·麦卡锡 | 人工智慧 |
| 1972年 | 艾兹赫尔·戴克斯特拉 | 程式设计语言的科学与艺术 |
| 1973年 | 查理士·巴赫曼 | 数据库技术 |
| 1974年 | 高德纳 | 算法分析、程式设计语言的设计、程式设计 |
| 1975年 | 艾伦·纽厄尔 | 人工智慧，人类认知心理学和列表处理（list processing） |
| 赫伯特·西蒙 | ||
| 1976年 | 迈克尔·拉宾 | 非确定性自动机 |
| 达纳·斯科特 | ||
| 1977年 | 约翰·巴克斯 | 高级编程系统，程式设计语言规范的形式化定义 |
| 1978年 | 罗伯特·弗洛伊德 | 设计高效可靠软件的方法学 |
| 1979年 | 肯尼斯·艾佛森 | 程式设计语言和数学符号，互动系统的设计，运用APL进行教学，程式设计语言的理论与实践 |
| 1980年 | 东尼·霍尔 | 程式设计语言的定义与设计 |
| 1981年 | 埃德加·科德 | 数据库系统，尤其是关系型数据库 |
| 1982年 | 史蒂芬·库克 | 计算复杂度 |
| 1983年 | 肯·汤普逊 | UNIX操作系统和C语言 |
| 丹尼斯·里奇 | ||
| 1984年 | 尼克劳斯·维尔特 | 程式设计语言设计、程式设计 |
| 1985年 | 理查德·卡普 | 算法理论，尤其是NP-完全性理论 |
| 1986年 | 约翰·霍普克洛夫特 | 算法和数据结构的设计与分析 |
| 罗伯特·塔扬 | ||
| 1987年 | 约翰·科克 | 编译理论，大型系统的体系结构，及精简指令集（RISC）电脑的开发 |
| 1988年 | 伊凡·苏泽兰 | 电脑图形学 |
| 1989年 | 威廉·卡韩 | 数值分析 |
| 1990年 | 费尔南多·考巴托 | CTSS和Multics |
| 1991年 | 罗宾·米尔纳 | LCF，ML语言，CCS |
| 1992年 | 巴特勒·兰普森 | 分布式，个人计算环境 |
| 1993年 | 尤里斯·哈特马尼斯 | 计算复杂度理论 |
| 理查德·斯特恩斯 | ||
| 1994年 | 爱德华·费根鲍姆 | 大规模人工智慧系统 |
| 拉吉·瑞迪 | ||
| 1995年 | 曼纽尔·布卢姆 | 计算复杂度理论，及其在密码学和程序校验上的应用 |
| 1996年 | 阿米尔·伯努利 | 时序逻辑，程序与系统验证 |
| 1997年 | 道格拉斯·恩格尔巴特 | 互动计算 |
| 1998年 | 詹姆斯·尼古拉·格雷 | 数据库与事务处理 |
| 1999年 | 弗雷德里克·布鲁克斯 | 电脑架构，操作系统，软件工程 |
| 2000年 | 姚期智[4] | 计算理论，包括伪随机数生成，密码学与通信复杂度 |
| 2001年 | 奥利-约翰·达尔 | 面向对象编程 |
| 克利斯登·奈加特 | ||
| 2002年 | 罗纳德·李维斯特 | 公钥密码学（RSA加密算法） |
| 阿迪·萨莫尔 | ||
| 伦纳德·阿德曼 | ||
| 2003年 | 艾伦·凯 | 面向对象编程 |
| 2004年 | 文特·瑟夫 | TCP/IP协议 |
| 罗伯特·卡恩 | ||
| 2005年 | 彼得·诺尔 | ALGOL 60语言 |
| 2006年 | 法兰西斯·艾伦 | 优化编译器 |
| 2007年 [5] |
爱德蒙·克拉克 | 开发自动化方法检测电脑硬件和软件中的设计错误 |
| 艾伦·爱默生 | ||
| 约瑟夫·斯发基斯 | ||
| 2008年 | 芭芭拉·利斯科夫 | 编程语言和系统设计的实践与理论 |
| 2009年 | 查尔斯·萨克尔 | 帮助设计、制造第一款现代PC |
| 2010年 | 莱斯利·瓦伦特 | 对众多计算理论所做的变革性的贡献 |
| 2011年 | 朱迪亚·珀尔 | 通过概率论和因果推理对人工智慧领域作出的根本性贡献 |
| 2012年 | 莎菲·戈德瓦塞尔 | 在密码科学领域里，于复杂理论的基础之上，做出变革性工作；并领先发展出新的具有数学可证明性的有效验证机制[6] |
| 希尔维奥·米卡利 | ||
| 2013年 | 莱斯利·兰波特 | 对于分布式及并形系统的理论与实践具有基础性贡献，尤其是诸如因果逻辑时序（causality and logical clocks）、安全性与存活度（safety and liveness）、复制状态机（replicated state machines）及循序一致性（sequential consistency）等理论概念的发明[7] |
| 2014年 | 迈克尔·斯通布雷克 | 对现代数据库的概念和实践作出的根本性贡献 |
| 2015年 | 惠特菲尔德·迪菲 | 发明迪菲-赫尔曼密钥交换，对公开密钥加密技术有重大贡献[8] |
| 马丁·赫尔曼 | ||
| 2016年 | 蒂姆·伯纳斯-李 | 发明了万维网、第一个浏览器和使得万维网得以扩展的基础协议及算法[9] |
| 2017年 | 约翰·轩尼诗 | 开创了一种系统的、定量的方法来设计和评价电脑架构，并对微处理器行业产生了持久的影响。[10] |
| 大卫·帕特森 | ||
| 2018年 | 约书亚·本希奥 | 深度学习[11] |
| 杰弗里·辛顿 | ||
| 杨立昆 | ||
| 2019年 | 艾德文·卡特姆 | 对于3D电脑图形学的基本贡献，以及这些技术对电影制作和其他应用中的电脑生成图像（CGI）的革命性影响。[12] |
| 帕特里克·汉拉恩 | ||
| 2020年 | 阿尔佛雷德·艾侯 | 对程序语言实现的基础性算法和理论的贡献。[13] |
| 杰弗瑞·乌尔曼 | ||
| 2021年 | 杰克·唐加拉 | 对数值算法和库的开创性贡献，使高性能计算软件在40多年来跟上了指数级硬件改进的步伐。[14] |
| 2022年 | 罗伯特·梅特卡夫 | 发明，标准化以及商业化以太网。[15] |
| 2023年 | 阿维·威格森 | 计算理论，尤其于随机性以及理论电脑科学多年的前沿知识贡献。[16] |
世界各大学图灵奖人数
[编辑]下表展示1966年至2021年世界各高校图灵奖人数分布（只展示前15名）。
| 排名 | 大学 | 图灵奖总人数 | 校友 | 长期教职员 | 短期教职员 | 重复* | |
|---|---|---|---|---|---|---|---|
| 1 | 斯坦福大学 | 
|
29 | 9 | 17 | 12 | -9 |
| 2 | 麻省理工学院 |
|
26 | 6 | 16 | 11 | -7 |
| 3 | 伯克利加州大学 |
|
26 | 11 | 12 | 12 | -9 |
| 4 | 普林斯顿大学 |
|
17 | 11 | 5 | 2 | -1 |
| 5 | 哈佛大学 |
|
14 | 9 | 5 | 4 | -4 |
| 6 | 卡耐基梅隆大学 |
|
13 | 5 | 9 | 1 | -2 |
| 7 | 纽约大学 |
|
8 | 3 | 2 | 3 | 0 |
| 8 | 剑桥大学 | 
|
7 | 5 | 2 | 3 | -3 |
| 9 | 加州理工学院 |
|
6 | 6 | 2 | 0 | -2 |
| 密歇根大学 |
|
6 | 4 | 0 | 2 | 0 | |
| 牛津大学 |
|
6 | 3 | 3 | 2 | -2 | |
| 多伦多大学 | 
|
6 | 2 | 3 | 2 | -1 | |
| 13 | 哥伦比亚大学 |
|
5 | 2 | 1 | 2 | 0 |
| 洛杉矶加州大学 |
|
5 | 3 | 1 | 1 | 0 | |
| 15 | 康奈尔大学 |
|
4 | 1 | 3 | 0 | 0 |
| 芝加哥大学 |
|
4 | 3 | 0 | 1 | 0 | |
| 希伯来大学 | 
|
4 | 1 | 2 | 2 | -1 | |
*：校友、长期教职员、短期教职员的重复计算人数。
参考文献
[编辑]- ^ Staff, Cacm. ACM's Turing Award prize raised to $1 million. Communications of the ACM. 2014, 57 (12): 20. doi:10.1145/2685372.
- ^ “杜林奖”应是“图灵奖” （页面存档备份，存于互联网档案馆），2002-04-03，石琪，HK apple
- ^ Steve Lohr. Google to Quadruple Computer Science Prize Winnings to $1 Million. Bits. November 13, 2014 [2015-01-09]. （原始内容存档于2014-11-29） （英语）.
- ^ 王郁伦. 圖靈獎得主 姚期智：學問就在發問中 老美勇於回答 亞洲生羞於舉手. 台湾苹果日报. 2006-10-28 [2016-04-13]. （原始内容存档于2016-04-23）.
- ^ 2007 Turing Award Winners Announced. ddj. 2008-02-04 [2008-02-05]. （原始内容存档于2009-11-02）.
- ^ Goldwasser, Micali Receive ACM Turing Award for Advances in Cryptography. [2013-04-30]. （原始内容存档于2013-03-21）.
- ^ Leslie Lamport. ACM. [2014-03-25]. （原始内容存档于2016-01-16） （英语）.
- ^ Cryptography Pioneers Receive ACM A.M. Turing Award. ACM. [2 March 2016]. （原始内容存档于2016-03-04）.
- ^ Sir Tim Berners-Lee - A.M. Turing Award Winner. amturing.acm.org. [2017-04-04]. （原始内容存档于2017-04-06） （英语）.
- ^ Pioneers of Modern Computer Architecture Receive ACM A.M. Turing Award. ACM. [2018-03-21]. （原始内容存档于2018-03-25）.
- ^ Baraniuk, Chris. British-born AI expert wins Turing Award. 2019-03-27 [2019-03-27]. （原始内容存档于2019-03-27） （英国英语）.
- ^ 2019 ACM A.M. Turing Award Laureates. awards.acm.org. [2020-03-19]. （原始内容存档于2020-03-18）.
- ^ 2020 ACM A.M. Turing Award Laureates. awards.acm.org. 2021-03-31 [2021-03-31]. （原始内容存档于2021-03-31） （英语）.
- ^ Open Graph Title: University of Tennessee's Jack Dongarra receives 2021 ACM A.M. Turing Award. awards.acm.org. [2022-03-30]. （原始内容存档于2022-05-05） （英语）.
- ^ Robert Melancton Metcalfe. 电脑协会. [2023-03-22]. （原始内容存档于2023-07-05）.
- ^ Avi Wigderson. 电脑协会. [2024-04-10]. （原始内容存档于2024-04-10）.
