图灵奖获得者 1966-2021

shiyi18

年份        姓名        贡献领域
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]