图灵奖是一个于1966年由美国计算机协会创办并颁奖的计算机领域国际最高奖项,每年3月下旬公布并进行颁奖,而该奖项的名称是根据艾伦·麦席森·图灵的名字来命名,而该奖项也是针对在计算机领域做出重要贡献的科学家颁发,从1966年发展至今,已经是一个有着计算机界诺贝尔奖美称的科学奖项。而图灵奖虽然是针对计算机领域但细分可以分成几十个,其中常获奖的领域有编译原理、程序设计语言、计算积分复杂性理论、人工智能等。
根据从1966年至今的颁奖情况来看,第一届获奖者为对编译器构造、高级程序设计领域做出过贡献的艾伦·佩利;而最新获奖者则是对数字算法和库有着开创性贡献的Jack J. Dongarra。而每年获奖的人也并不固定在一个,经常会出现两人或者三人同时获奖的情况出现。
在76位获奖者中,也有一位中国科学家获得图灵奖,中国人首次获奖,是在2000年,对计算理论有着突出贡献的姚期智获得该奖。
图灵奖历年得主
图灵奖历年得主 | |||
年份 | 中文译名 | 姓名 | 贡献领域/获奖理由 |
1966年 | 艾伦·佩利 | Alan J. Perlis | 高级程序设计技巧,编译器构造 |
1967年 | 莫里斯·威尔克斯 | Maurice V. Wilkes | 存储程序式计算机EDSAC,程序库 |
1968年 | 理查德·卫斯里·汉明 | Richard Hamming | 数值方法,自动编码系统,错误检测和纠错码 |
1969年 | 马文·明斯基 | Marvin Minsky | 人工智能 |
1970年 | 詹姆斯·维尔金森 | James H. Wilkinson | 数值分析,线性代数,倒退错误分析 |
1971年 | 约翰·麦卡锡 | John McCarthy | 人工智能 |
1972年 | 艾兹格·迪科斯彻 | Edsger Dijkstra | 程序设计语言的科学与艺术 |
1973年 | 查理士·巴赫曼 | Charles W. Bachman | 数据库技术 |
1974年 | 高德纳 | Donald E. Knuth | 算法分析、程序设计语言的设计、程序设计 |
1975年 | 艾伦·纽厄尔 | Allen Newell | 人工智能,人类认知心理学和列表处理(list processing) |
赫伯特·西蒙 | Herbert A. Simon | ||
1976年 | 迈克尔·拉宾 | Michael O. Rabin | 非确定性自动机 |
达纳·斯科特 | Dana S. Scott | ||
1977年 | 约翰·巴克斯 | John Backus | 高级编程系统,程序设计语言规范的形式化定义 |
1978年 | 罗伯特·弗洛伊德 | Robert W. Floyd | 设计高效可靠软件的方法学 |
1979年 | 肯尼斯·艾佛森 | Kenneth E. Iverson | 程序设计语言和数学符号,互动系统的设计,运用 APL进行教学,程序设计语言的理论与实践 |
1980年 | 东尼·霍尔 | C. Antony R. Hoare | 程序设计语言的定义与设计 |
1981年 | 埃德加·科德 | Edgar F. Codd | 数据库系统,尤其是关系型数据库 |
1982年 | 史提芬·古克 | Stephen A. Cook | 计算复杂度 |
1983年 | 肯·汤普逊 | Ken Thompson | UNⅨ操作系统和C语言 |
丹尼斯·里奇 | Dennis M. Ritchie | ||
1984年 | 尼古拉斯·沃斯 | Niklaus Wirth | 程序设计语言设计、程序设计 |
1985年 | 理查德·卡普 | Richard M. Karp | 算法理论,尤其是NP-完全性理论 |
1986年 | 约翰·霍普克罗夫特 | John Hopcroft | 算法和数据结构的设计与分析 |
罗伯特·塔扬 | Robert Tarjan | ||
1987年 | 约翰·科克 | John Cocke | 编译理论,大型系统的体系结构,及精简指令集(RISC)计算机的开发 |
1988年 | 伊凡·苏泽兰 | Ivan Sutherland | 计算机图形学 |
1989年 | 威廉·卡亨 | William Morton Kahan | 数值分析 |
1990年 | 费尔南多·考巴脱 | Fernando J. Corbató | CTSS和Multics |
1991年 | 罗宾·米尔纳 | Robin Milner | LCF,ML语言,CCS |
1992年 | 巴特勒·兰普森 | Butler W. Lampson | 分布式,个人计算环境 |
1993年 | 尤里斯·哈特马尼斯 | Juris Hartmanis | 计算复杂度理论 |
理查德·斯特恩斯 | Richard E. Stearns | ||
1994年 | 爱德华·费根鲍姆 | Edward Feigenbaum | 大规模人工智能系统 |
拉吉·瑞迪 | Raj Reddy | ||
1995年 | 曼纽尔·布卢姆 | Manuel Blum | 计算复杂度理论,及其在密码学和程序校验上的应用 |
1996年 | 阿米尔·伯努利 | Amir Pnueli | 时序逻辑,程序与系统验证 |
1997年 | 道格拉斯·恩格尔巴特 | Douglas Engelbart | 互动计算 |
1998年 | 詹姆斯·尼古拉·格雷 | James Gray | 数据库与事务处理 |
1999年 | 弗雷德里克·布鲁克斯 | Frederick Phillips Brooks,Jr. | 计算机体系结构,操作系统,软件工程 |
2000年 | 姚期智 | Andrew Chi-Chih Yao | 计算理论,包括伪随机数生成,密码学与通信复杂度 |
2001年 | 奥利-约翰·达尔 | Ole-Johan Dahl | 面向对象编程 |
克利斯登·奈加特 | Kristen Nygaard | ||
2002年 | 罗纳德·李维斯特 | Ronald L. Rivest | 公钥密码学(RSA加密算法) |
阿迪·萨莫尔 | Adi Shamir | ||
伦纳德·阿德曼 | Leonard M. Adleman | ||
2003年 | 艾伦·凯 | Alan Kay | 面向对象编程 |
2004年 | 文特·瑟夫 | Vinton G. Cerf | TCP/IP协议 |
罗伯特·卡恩 | Robert E. Kahn | ||
2005年 | 彼得·诺尔 | Peter Naur | Algol 60语言 |
2006年 | 法兰西斯·艾伦 | Frances E. Allen | 优化编译器 |
2007年 | 爱德蒙·克拉克 | Edmund M. Clarke | 开发自动化方法检测计算机硬件和软件中的设计错误 |
艾伦·爱默生 | Allen Emerson | ||
约瑟夫·斯发基斯 | Joseph Sifakis | ||
2008年 | 芭芭拉·利斯科夫 | Barbara Liskov | 编程语言和系统设计的实践与理论 |
2009年 | 查尔斯·萨克尔 | Charles Thacker | 帮助设计、制造第一款现代PC |
2010年 | 莱斯利·瓦伦特 | Leslie Valiant | 对众多计算理论所做的变革性的贡献 |
2011年 | 犹大·伯尔 | Judea Pearl | 人工智能 |
2012年 | 莎菲·戈德瓦塞尔 | Shafi Goldwasser | 在密码学和复杂理论领域做出创举性工作 |
希尔维奥·米卡利 | Silvio Micali | ||
2013年 | 莱斯利·兰伯特 | Leslie Lamport | 在提升计算机系统的可靠性及稳定性领域的杰出贡献 |
2014年 | 迈克尔·斯通布雷克 | Michael Stonebraker | 对现代数据库系统底层的概念与实践所做出的基础性贡献 |
2015年 | 惠特菲尔德·迪菲 | Whitfield Diffie | 非对称加密的创始人 |
马丁·赫尔曼 | Martin Hellman | ||
2016年 | 蒂姆·伯纳斯·李 | Tim Berners-Lee | 万维网的发明者 |
2017年 | 约翰·轩尼诗 | John Hennessy | 开发了RISC微处理器并且让这一概念流行起来的工程 |
大卫·帕特森 | David Patterson | ||
2018年 | 约舒亚·本希奥 | Yoshua Bengio | 在人工智能深度学习方面的贡献 |
杰弗里·欣顿 | Geoffrey Hinton | ||
扬·莱坎 | Yann LeCun | ||
2019年 | 帕特里克· 汉拉汗 | Patrick M. Hanrahan | 对3D计算机图形学的贡献,以及这些技术对电影制作和计算机生成图像(CGI)等应用的革命性影响 |
艾德文·卡特姆 | Edwin E. Catmull | ||
2020年 | 杰弗里·戴维·乌尔曼 | Jeffrey David Ullman | 创造了全球数百万编程人员使用的工具和教材,推进编程语言实现的基础算法和理论,并在极具影响力的书籍中综述了这些研究成果 |
阿尔佛雷德·艾侯 | Alfred Vaino Aho | ||
2021年 | 杰克·唐加拉 | Jack J. Dongarra | 通过对线性代数运算的高效数值算法、并行计算编程机制和性能评估工具的贡献,引领了高性能计算的世界。 |
2022年 | 鲍勃·梅特卡夫 | Bob Metcalfe | 为引领大众进入超级连接时代所做的贡献 |