历届图灵奖得主及研究领域

Turing奖最早设立于1966年，是美国计算机协会在计算机技术方面所授予的最高奖项，被喻为计算机界的诺贝尔奖。它是以英国数学天才Alan Turing先生的名字命名的，Alan Turing先生对早期计算的理论和实践做出了突出的贡献。图灵奖主要授予在计算机技术领域做出突出贡献的个人，而这些贡献必须对计算机科学与技术有长远而重要的影响。1966年，A. J. Perlis因其在新一代编程技术和编译架构方面的贡献成为图灵奖的第一个得主。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。任何人都可成为提名人，美国计算机协会将组成评选委员会对被提名者进行严格的审核，并最终确定当年的获奖者。

年份	姓名	贡献领域
1966年	艾伦·佩利	高级程序设计技巧，编译器构造
1967年	莫里斯·威尔克斯	存储过程式计算机EDSAC，EDSAC 2，程序库
1968年	理查德·卫斯里·汉明	数值方法，自动编码系统，错误检测和纠错码
1969年	马文·闵斯基	人工智能
1970年	詹姆斯·维尔金森	数值分析，线性代数，倒退错误分析
1971年	约翰·麦卡锡	人工智能
1972年	艾兹格·迪科斯彻	程序设计语言的科学与艺术
1973年	查理士·巴赫曼	数据库技术
1974年	高德纳	算法分析、程序设计语言的设计、程序设计
1975年	艾伦·纽厄尔	人工智能，人类认知心理学和列表处理（list processing）
1975年	赫伯特·西蒙	人工智能，人类认知心理学和列表处理（list processing）
1976年	迈克尔·拉宾	非确定性自动机
1976年	达纳·斯科特	非确定性自动机
1977年	约翰·巴克斯	高级编程系统，程序设计语言规范的形式化定义
1978年	罗伯特·弗洛伊德	设计高效可靠软件的方法学
1979年	肯尼斯·艾佛森	程序设计语言和数学符号，互动系统的设计，运用APL进行教学，程序设计语言的理论与实践
1980年	东尼·霍尔	程序设计语言的定义与设计
1981年	埃德加·科德	数据库系统，尤其是关系型数据库
1982年	史提芬·古克	计算复杂度
1983年	肯·汤普逊	UNIX操作系统和C语言
1983年	丹尼斯·里奇	UNIX操作系统和C语言
1984年	尼克劳斯·维尔特	程序设计语言设计、程序设计
1985年	理查德·卡普	算法理论，尤其是NP-完全性理论
1986年	约翰·霍普克洛夫特	算法和数据结构的设计与分析
1986年	罗伯特·塔扬	算法和数据结构的设计与分析
1987年	约翰·科克	编译理论，大型系统的体系结构，及精简指令集（RISC）计算机的开发
1988年	伊凡·苏泽兰	计算机图形学
1989年	威廉·卡韩	数值分析
1990年	费尔南多·考巴托	CTSS和Multics
1991年	罗宾·米尔纳	LCF，ML语言，CCS
1992年	巴特勒·兰普森	分布式，个人计算环境
1993年	尤里斯·哈特马尼斯	计算复杂度理论
1993年	理查德·斯特恩斯	计算复杂度理论
1994年	爱德华·费根鲍姆	大规模人工智能系统
1994年	拉吉·瑞迪	大规模人工智能系统
1995年	曼纽尔·布卢姆	计算复杂度理论，及其在密码学和程序校验上的应用
1996年	阿米尔·伯努利	时序逻辑，程序与系统验证
1997年	道格拉斯·恩格尔巴特	互动计算
1998年	詹姆斯·尼古拉·格雷	数据库与事务处理
1999年	弗雷德里克·布鲁克斯	计算机体系结构，操作系统，软件工程
2000年	姚期智^[4]	计算理论，包括伪随机数生成，密码学与通信复杂度
2001年	奥利-约翰·达尔	面向对象编程
2001年	克利斯登·奈加特	面向对象编程
2002年	罗纳德·李维斯特	公钥密码学（RSA加密算法）
	阿迪·萨莫尔
	伦纳德·阿德曼
2003年	艾伦·凯	面向对象编程
2004年	文特·瑟夫	TCP/IP协议
2004年	罗伯特·卡恩	TCP/IP协议
2005年	彼得·诺尔	Algol 60语言
2006年	法兰西斯·艾伦	优化编译器
2007年 ^[5]	爱德蒙·克拉克	开发自动化方法检测计算机硬件和软件中的设计错误
	艾伦·爱默生
	约瑟夫·斯发基斯
2008年	芭芭拉·利斯科夫	编程语言和系统设计的实践与理论
2009年	查尔斯·萨克尔	帮助设计、制造第一款现代PC
2010年	莱斯利·瓦伦特	对众多计算理论所做的变革性的贡献
2011年	朱迪亚·珀尔	通过概率论和因果推理（英语：Causal reasoning）对人工智能领域作出的根本性贡献
2012年	莎菲·戈德瓦塞尔	在密码科学领域里，于复杂理论的基础之上，做出变革性工作；并领先发展出新的具有数学可证明性的有效验证机制^[6]
2012年	希尔维奥·米卡利	在密码科学领域里，于复杂理论的基础之上，做出变革性工作；并领先发展出新的具有数学可证明性的有效验证机制^[6]
2013年	莱斯利·兰波特	对于分布式及并形系统的理论与实践具有基础性贡献，尤其是诸如因果逻辑时序（causality and logical clocks）、安全性与存活度（safety and liveness）、复制状态机（replicated state machines）及循序一致性（英语：sequential consistency）（sequential consistency）等理论概念的发明^[7]
2014年	迈克尔·斯通布雷克	对现代数据库的概念和实践作出的根本性贡献
2015年	惠特菲尔德·迪菲	发明迪菲-赫尔曼密钥交换，对公开密钥加密技术有重大贡献^[8]。
2015年	马丁·赫尔曼	发明迪菲-赫尔曼密钥交换，对公开密钥加密技术有重大贡献^[8]。

TURING奖获得者分类(1966–2010)

硬件
Maurice V. Wilkes (1967) ——第一台具有内部存储程序的计算机EDSAC
John Cocke (1987) —— RISC & 编译优化
Vinton Gray Cerf (2004) —— Internet基础通讯协议
Chuck Thacke（2009）—— 局域网
Frances E. Allen（2006）—— 编译器优化理论
Edmund M. Clarke，Allen Emerson和Joseph Sifakis（2007）——模型验证

程序语言设计与实现
Alan J. Perlis (1966) ——ALGOL
John McCarthy (1971) —— LISP
Edsger Wybe Dijkstra (1972) —— ALGOL
John W. Backus (1977) —— FORTRAN
Kenneth Eugene Iverson (1979) ——APL程序语言
Niklaus Wirth (1984) —— PASCAL
John Cocke (1987) ——RISC & 编译优化
Ole-Johan Dahl，Kristen Nygaard (2001) —— Simula语言和面向对象概念 (获奖前30年)
Alan Kay(2003) ——SmallTalk语言和面向对象程序设计
Peter Naur(2005) —— ALGOL60以及编译设计
Barbara Liskov(2008) ——数据抽象与分布式计算
Edmund M. Clarke，Allen Emerson和Joseph Sifakis（2007）——模型验证

算法
Richard Hamming (1968) —— 汉明码
James Hardy Wilkinson (1970) —— 数值分析
Donald E. Knuth —— art of computer programming
John E. Hopcroft，Robert Endre. Tarjan (1986) ——数据结构和算法设计
William (Velvel) Morton Kahan (1989) —— 浮点运算IEEE标准主要设计师
Andrew Chi-Chih Yao (姚期智) (2000) ——伪随机数复杂性，密码系统和通讯复杂性
Ronald L. Rivest, Adi Shamir, Leonard M. Adleman(2002) ——公钥密码技术

自动机和可计算性
Dana Stewart Scott (1976) —— 自动机
Michael Oser Rabin (1976) ——自动机
Stephen Arthur Cook (1982) —— NP完全性
Richard Manning Karp (1985) —— 证明一个问题是否是属于NP完全
Juris Hartmanis，Richard Edwin Stearns (1993) —— 计算复杂性
Manuel Blum (1995) —— 计算复杂性，密码系统和程序检查验证
Leslie G. Valiant（2010）——计算复杂性

人工智能
Marvin Lee Minsky (1969) —— 神经元网络
John McCarthy (1971) —— LISP
Allen Newell，Herbert Simon (1975) —— Logic Theory Machine
Raj Reddy，Edward Feigenbaum(1994) ——专家系统
Leslie G. Valiant（2010）——机器学习
Judea Pearl（2011）—— 概率和因果性推理演算法

操作系统
Dennis MacAlistair Ritchie，Ken Thompson (1983) —— UNIX
Fernando Jose Corbato (1990) ——分时系统
Frederick P. Brooks(1999) —— IBM System360 操作系统

数据库
Charles W. Bachman (1973) —— 数据库
Edgar Frank Codd (1981) ——关系数据模型
James Gray(1998) —— 数据库和事务处理

图像处理和交互式系统
Ivan Edward Sutherland (1988) ——图像处理，CAD
Douglas Engelbart(1998) —— 交互式系统，鼠标发明人

程序语言语义
Dana Stewart Scott (1976) ——自动机
Robert W. Floyd (1978) —— 编程语言语义，自动程序验证
C. Antony R. Hoare (1980) —— Hoare Logic, CSP
Robin Milner (1991) —— LCF，ML，CCS，PI-calculus
Amir Pnueli (1996) —— 时序逻辑和系统验证

历届图灵奖得主及研究领域相关推荐

历届图灵奖得主(1966-2006)
历届图灵奖得主(1966-2006) 图灵奖最早设立于1966年,是美国计算机协会在计算机技术方面所授予的最高奖项,被喻为计算机界的诺贝尔奖.它是以英国数学天才Alan Turing先生的名字命名的, ...
图灵奖简介、2012年图灵奖得主及其贡献领域简介
一.图灵奖简介图灵奖(A.M. Turing Award,又译"杜林奖"),由美国计算机协会(ACM)于1966年设立,又叫"A.M. 图灵奖",专门奖励那些 ...
深度学习后，图灵奖得主Bengio研究核心是什么？因果表示学习
点击上方,选择星标或置顶,不定期资源大放送! 阅读大概需要15分钟 Follow小博主,每天更新前沿干货转载自:机器之心在近日发表的一篇论文中,图灵奖得主 Yoshua Bengio 等详细介绍了 ...
深度学习后时代，图灵奖得主Bengio研究核心是什么？
点上方蓝字计算机视觉联盟获取更多干货在右上方 ··· 设为星标 ★,与你不见不散仅作学术分享,不代表本公众号立场,侵权联系删除转载于:机器之心 AI博士笔记系列推荐周志华<机器学习> ...
历届图灵奖得主(1990-2022)
Robin Milner 1991年图灵奖得主贡献领域: LCF.ML编程语言.并发理论(CCS) 中文一般译作"罗宾·米尔纳", 1934年1月13日-2010年3月20日生 ...
程序设计、数据结构、编译相关图灵奖得主简介之一
1. 图灵(Alan Turing)和图灵奖的诞生正如美国电脑界有冯·诺依曼一样,在英国电脑的进展中,也有一个有巨大影响力的天才,他就是阿伦·图灵.此人对于电脑技术的发展,有着无可替代的影响. 英国 ...
70页论文，图灵奖得主Yoshua Bengio一作：“生成流网络”拓展深度学习领域
来源:机器之心本文约2800字,建议阅读10分钟 GFlowNet会成为新的深度学习技术吗? 近日,一篇名为<GFlowNet Foundations>的论文引发了人们的关注,这是一篇图 ...
70页论文，图灵奖得主Yoshua Bengio一作：「生成流网络」拓展深度学习领域
来源:机器学习研究组订阅 GFlowNet 会成为新的深度学习技术吗? 近日,一篇名为<GFlowNet Foundations>的论文引发了人们的关注,这是一篇图灵奖得主 Yoshua ...
对话图灵奖得主、CNN之父Yann LeCun：我在中国看到了AI研究热潮
文 | 罗景文译 | 王启隆责编 | 邓晓娟出品 | <新程序员> 卷积神经网络(Convolutional Neural Networks,简称 CNN)在最近这些年的深度学习领域 ...

历届图灵奖得主及研究领域

历届图灵奖得主及研究领域相关推荐

最新文章

热门文章