图灵奖

本页使用了标题或全文手工转换
维基百科,自由的百科全书
圖靈獎
(ACM Turing Award)
授予对象计算机科学作出重要贡献的个人
国家/地区美国
主办单位计算机协会 (ACM)
奖励US $1,000,000[1]
首次颁发1966年
最近颁发2022年
官方网站amturing.acm.org

图灵奖(英語: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年 莫里斯·威尔克斯 存储程序式计算机EDSACEDSAC 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年 费尔南多·考巴托 CTSSMultics
1991年 罗宾·米尔纳 LCFML語言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年 朱迪亚·珀尔 通过概率论因果推理英语Causal reasoning人工智能领域作出的根本性贡献
2012年 莎菲·戈德瓦塞尔 在密碼科學領域裡,於複雜理論的基礎之上,做出變革性工作;並領先發展出新的具有數學可證明性的有效驗證機制[6]
希爾維奧·米卡利
2013年 萊斯利·蘭波特 對於分散式及並形系統的理論與實踐具有基礎性貢獻,尤其是諸如因果邏輯時序(causality and logical clocks)、安全性與存活度(safety and liveness)、複製狀態機(replicated state machines)及循序一致性英语sequential consistencysequential consistency)等理論概念的發明[7]
2014年 迈克尔·斯通布雷克 对现代数据库的概念和实践作出的根本性贡献
2015年 惠特菲爾德·迪菲 發明迪菲-赫爾曼密鑰交換,對公開密鑰加密技術有重大貢獻[8]
馬丁·赫爾曼
2016年 蒂姆·伯纳斯-李 发明了万维网、第一个浏览器和使得万维网得以扩展的基础协议及算法[9]
2017年 約翰·軒尼詩 开创了一种系统的、定量的方法来设计和评价计算机体系结构,并对微处理器行业产生了持久的影响。[10]
大衛·帕特森
2018年 约书亚·本希奥 深度学习[11]
杰弗里·辛顿
杨立昆
2019年 艾德文·卡特姆 对于3D计算机图形学的基本贡献,以及这些技术对电影制作和其他应用中的计算机生成图像(CGI)的革命性影响。[12]
帕特里克·汉拉恩
2020年 阿尔佛雷德·艾侯 对程序语言实现的基础性算法和理论的贡献。[13]
杰弗瑞·乌尔曼
2021年 杰克·唐加拉 对数值算法和库的开创性贡献,使高性能计算软件在40多年来跟上了指数级硬件改进的步伐。[14]
2022年 羅伯特·梅特卡夫 發明,標準化以及商業化以太網[15]

世界各大学图灵奖人数[编辑]

下表展示1966年至2021年世界各高校图灵奖人数分布(只展示前15名)。

排名 大学 图灵奖总人数 校友 长期教职员 短期教职员 重复*
1 斯坦福大学 美國 29 9 17 12 -9
2 麻省理工学院 美國 26 6 16 11 -7
3 伯克利加州大学 美國 25 11 12 11 -9
4 普林斯顿大学 美國 16 10 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

*:校友、长期教职员、短期教职员的重复计算人数。

参考文献[编辑]

  1. ^ Staff, Cacm. ACM's Turing Award prize raised to $1 million. Communications of the ACM. 2014, 57 (12): 20. doi:10.1145/2685372. 
  2. ^ 「杜林獎」應是「圖靈獎」页面存档备份,存于互联网档案馆),2002-04-03,石琪,HK apple
  3. ^ Steve Lohr. Google to Quadruple Computer Science Prize Winnings to $1 Million. Bits. November 13, 2014 [2015-01-09]. (原始内容存档于2014-11-29) (英语). 
  4. ^ 王郁倫. 圖靈獎得主 姚期智:學問就在發問中 老美勇於回答 亞洲生羞於舉手. 台灣蘋果日報. 2006-10-28 [2016-04-13]. (原始内容存档于2016-04-23). 
  5. ^ 2007 Turing Award Winners Announced. ddj. 2008-02-04 [2008-02-05]. (原始内容存档于2009-11-02). 
  6. ^ Goldwasser, Micali Receive ACM Turing Award for Advances in Cryptography. [2013-04-30]. (原始内容存档于2013-03-21). 
  7. ^ Leslie Lamport. ACM. [2014-03-25]. (原始内容存档于2016-01-16) (英语). 
  8. ^ Cryptography Pioneers Receive ACM A.M. Turing Award. ACM. [2 March 2016]. (原始内容存档于2016-03-04). 
  9. ^ Sir Tim Berners-Lee - A.M. Turing Award Winner. amturing.acm.org. [2017-04-04]. (原始内容存档于2017-04-06) (英语). 
  10. ^ Pioneers of Modern Computer Architecture Receive ACM A.M. Turing Award. ACM. [2018-03-21]. (原始内容存档于2018-03-25). 
  11. ^ Baraniuk, Chris. British-born AI expert wins Turing Award. 2019-03-27 [2019-03-27]. (原始内容存档于2019-03-27) (英国英语). 
  12. ^ 2019 ACM A.M. Turing Award Laureates. awards.acm.org. [2020-03-19]. (原始内容存档于2020-03-18). 
  13. ^ 2020 ACM A.M. Turing Award Laureates. awards.acm.org. 2021-03-31 [2021-03-31]. (原始内容存档于2021-03-31) (英语). 
  14. ^ 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) (英语). 
  15. ^ Robert Melancton Metcalfe. 計算機協會. [2023-03-22]. (原始内容存档于2023-07-05). 

外部链接[编辑]

參見[编辑]