ECO中文网

标题: 图灵奖获得者 1966-2021 [打印本页]

作者: shiyi18 时间: 2022-4-16 01:27
标题: 图灵奖获得者 1966-2021
年份姓名贡献领域
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]

欢迎光临 ECO中文网 (http://ecocn.org/)