现在的位置: 首页 > 自动控制 > 工业·编程 > 正文

历届图灵奖获奖名单

2014-07-18 06:26 工业·编程 ⁄ 共 2666字 ⁄ 字号 暂无评论

    图灵奖(A.M. Turing Award,又译“杜林奖”),由美国计算机协会(ACM)于1966年设立,又叫“A.M. 图灵奖”,专门奖励那些对计算机事业作出重要贡献的个人。其名称取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。由于图灵奖对获奖条件要求极高,评奖程序又是极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。因此它是计算机界最负盛名、最崇高的一个奖项,有“计算机界的诺贝尔奖”之称。

    奖金金额不算太高,设奖初期为2万美元,1989年起增到2万5千美元,奖金通常由计算机界的一些大企业提供(通过与ACM签订协议)。目前图灵奖由英特尔公司和google公司赞助,奖金为250,000美元。

    每年,美国计算机协会将要求提名人推荐本年度的图灵奖候选人,并附加一份200到500字的文章,说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的评审,并最终确定当年的获奖者。

    从1966年到2013年的46届图灵奖,共计有61名科学家获此殊荣,其中美国学者最多,此外还有英国、瑞士、荷兰、以色列等国少数学者。

    截止至2013年,获此殊荣的华人仅有一位,他是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
Herbert A. Simon
人工智能,人类认知心理学和列表处理 (list processing)
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
Dennis M. Ritchie
UNⅨ操作系统和C语言
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ó
1991年
罗宾·米尔纳
Robin Milner
LCFML语言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 P. Brooks,Jr.
计算机体系结构操作系统软件工程
2000年
姚期智
Andrew Chi-Chih Yao
计算理论,包括伪随机数生成,密码学与通信复杂度
2001年
奥利-约翰·达尔
克利斯登·奈加特
Ole-Johan Dahl
Kristen Nygaard
面向对象编程
2002年
罗纳德·李维斯特
阿迪·萨莫尔
伦纳德·阿德曼
Ronald L. Rivest
Adi Shamir
Leonard M. Adleman
2003年
艾伦·凯
Alan Kay
面向对象编程
2004年
文特·瑟夫
罗伯特·卡恩
Vinton G. Cerf
Robert E. Kahn
TCP/IP协议
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 在提升计算机系统的可靠性及稳定性领域的杰出贡献


给我留言

留言无头像?