关闭

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

409人阅读 评论(0) 收藏 举报
分类:

Turing奖最早设立于1966年,是美国计算机协会在计算机技术方面所授予的最高奖项,被喻为计算机界的诺贝尔奖。它是以英国数学天才Alan Turing先生的名字命名的,Alan Turing先生对早期计算的理论和实践做出了突出的贡献。图灵奖主要授予在计算机技术领域做出突出贡献的个人,而这些贡献必须对计算机科学与技术有长远而重要的影响。1966年,A. J. Perlis因其在新一代编程技术和编译架构方面的贡献成为图灵奖的第一个得主。
每年,美国计算机协会将要求提名人推荐本年度的图灵奖候选人,并附加一份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]
马丁·赫尔曼

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) —— 时序逻辑和系统验证


0
0

查看评论
* 以上用户言论只代表其个人观点,不代表CSDN网站的观点或立场
    个人资料
    • 访问:11404次
    • 积分:257
    • 等级:
    • 排名:千里之外
    • 原创:13篇
    • 转载:9篇
    • 译文:0篇
    • 评论:0条