Turing Award

http://blog.sina.com.cn/s/blog_4bab7a27010007vq.html

2005 Peter Naur

获奖原因：表彰他在设计Algol 60语言上的贡献。由于其定义的清晰性，Algol 60成为了许多现代程序设计语言的原型。在语法描述中广泛使用的BNF范式，其中的“N”便是来自Peter Naur的名字。

2004 Vinton G. Cerf、Robert E. Kahn

获奖原因：由于在互联网方面开创性的工作，这包括设计和实现了互联网的基础通讯协议，TCP/IP，以及在网络方面卓越的领导。

2003 Alan Kay

获奖原因：由于在面向对象语言方面原创性思想，领导了Smalltalk的开发团队，以及对PC的基础性贡献。

至理名言：预测未来的最好方法是创造它。

2002 Ronald L. Rivest、Adi Shamir、Leonard M. Adleman

获奖原因：由于在公共密钥理论和实践方面的基础性工作。

2001 Ole-Johan Dahl、Kristen Nygaard

获奖原因：由于面向对象编程始发于他们基础性的构想，这些构想集中体现在他们所设计的编程语言SIMULA I 和SIMULA 67中。

2000 Andrew Chi-Chih Yao(姚期智)

获奖原因：由于在计算理论方面的贡献而获奖，包括伪随机数的生成算法、加密算法和通讯复杂性。

1999 Frederick P. Brooks, Jr.

获奖原因：由于在计算机体系架构、操作系统以及软件工程方面所做出的具有里程碑式意义的贡献。人月神话的作者。

1998 James Gray

获奖原因：由于在数据库、事务处理研究和相关系统实现的技术领导工作。

1997 Douglas Engelbart

获奖原因：由于提出了激动人心的交互式计算机未来构想，以及发明了实现这一构想的关键技术。

1996 Amir Pnueli

获奖原因：由于在计算科学中引入temporal逻辑以及对编程和系统认证方面的杰出贡献。

1995 Manuel Blum

获奖原因：由于在计算复杂性理论、密码学以及程序校验方面的基础性贡献。

1994 Edward Feigenbaum、Raj Reddy

获奖原因：由于他们所设计和建造的大规模人工智能系统，证明了人工智能技术的重要性和其潜在的商业价值。

1993 Juris Hartmanis、Richard E. Stearns

获奖原因：由于他们的论文奠定了计算复杂性理论的基础。

1992 Butler W. Lampson

获奖原因：由于在个人分布式计算机系统及其实现技术上的贡献，这包括：工作站、网络、操作系统、编程系统、显示、安全和文档发布。

1991 Robin Milner

获奖原因：由于在可计算函数逻辑(LCF)、ML和并行理论(CCS)这三个方面突出和完美的贡献。

1990 Fernando J. Corbato'

获奖原因：由于组织和领导了多功能、大规模、时间和资源共享的计算机系统的开发。

1989 William (Velvel) Kahan

获奖原因：由于在数值分析方面的基础性贡献。

1988 Ivan Sutherland

获奖原因：由于在计算机图形学方面开创性和远见性的贡献，其所建立的技术历经二、三十年依然有效。

1987 John Cocke

获奖原因：由于在编译器设计和理论、大规模系统架构以及开发RISC等方面的重要贡献。

1986 John Hopcroft、Robert Tarjan

获奖原因：由于在算法及数据结构设计和分析方面的基础性成就。

1985 Richard M. Karp

获奖原因：由于在算法理论方面，特别是NP-completeness理论方面，连续不断的贡献。

1984 Niklaus Wirth

获奖原因：由于开发了EULER、 ALGOL-W、 MODULA和PASCAL一系列崭新的计算语言。

1983 Ken Thompson、Dennis M. Ritchie

获奖原因：由于在通用操作系统理论研究，特别是UNIX操作系统的实现上的贡献。

1982 Stephen A. Cook

获奖原因：由于其于1971年发表的论文，奠定了NP-Completeness理论的基础。

1981 Edgar F. Codd

获奖原因：由于在数椐库管理系统的理论和实践方面基础性和连续不断的贡献，关系数据库之父。

1980 C. Antony R. Hoare

获奖原因：由于在编程语言的定义和设计方面的基础性贡献。

1979 Kenneth E. Iverson

获奖原因：由于在编程语言的理论和实践方面，特别是APL，所进行的开创性的工作。

1978 Robert W. Floyd

获奖原因：由于在如何开发高效、可靠的软件方法论方面的贡献，这包括：建立分析理论、编程语言的语义学、自动程序检验、自动程序综合和算法分析在内的多项
计算机子学科。

1977 John Backus

获奖原因：由于在高级语言方面所做出的具有广泛和深远意义的贡献，特别是其在Fortran语言方面。

1976 Michael O. Rabin、Dana S. Scott

获奖原因：由于他们的论文"有限自动机与它们的决策问题"，被证明具有巨大的价值。

1975 Allen Newell、Herbert A. Simon

获奖原因：由于在人工智能、人类识别心理和表处理的基础贡献。

1974 Donald E. Knuth

获奖原因：由于在算法分析和程序语言设计方面的重要贡献，计算机程序设计艺术的作者。

1973 Charles W. Bachman

获奖原因：由于在数据库方面的杰出贡献。

1972 E.W. Dijkstra

获奖原因：由于对开发ALGOL做出了原理性贡献。

1971 John McCarthy

获奖原因：由于其讲稿"The Present State of Research on Artificial
Intellegence"，对人工智能领域的贡献。

1970 J.H. Wilkinson

获奖原因：由于其在数值分析方面的研究工作。

1969 Marvin Minsky

获奖原因：不祥

1968 Richard Hamming

获奖原因：由于其在计数方法、自动编码系统、检测及纠正错码方面的工作。

1967 Maurice V. Wilkes

获奖原因：由于设计和制造了第一台内部存储程序的计算机EDSAC。

1966 A.J. Perlis

获奖原因：由于其在先进编程技术和编译架构方面的贡献。

参考资料

A.M. Turing Award

ACM 图灵奖获得者分类(1966--2005)

陈怀临

下面是目前的分类内容，在www.xtrj.org/turing.htm
希望大家喜欢。

--------------------------------------

图灵奖获得者分类(1966--2005)

总共获奖人数(1966--2005)：40届，50人。

获奖科学家国籍分布：
美国: 35
英国: 5
以色列: 3
加拿大: 2
挪威: 2
荷兰: 1
瑞士: 1
丹麦: 1

图灵奖获得者最高学位分布：
博士学位：39
硕士学位：3
学士学位：5
无法了解: 3

图灵奖获得者获奖时年龄分布：

70-79(4): 70(Ole-Johan Dahl), 72(Douglas Engelbart), 75(Kristen Nygaard), 77(P
eter Naur)

60-69(7)：61(Vinton Cerf), 62(John Cocke), 63(Alan Kay), 64(Fernando Corbato),
65(Juris Hartmanis), 68(Frederick P. Brooks), 68(Robert Kahn)

50-59(19)：50, 50, 50, 50, 51, 53, 53, 54, 54 (姚期智), 55, 55, 55, 56, 57, 57
, 57, 58, 59, 59

40-49(15)：40, 42, 42, 42, 42, 43, 44, 44, 44, 45, 46, 47, 48, 49, 49

30-39(2)：36(Donald Knuth), 38(Robert E. Tarjan)

Unknown(2): Richard E. Stearns, James N. Gray

图灵奖获得者去世人数 (As of 5/19/2006)统计：12

获奖科学家研究方向分布：

硬件，体系结构 (2)
Maurice V. Wilkes (1967) -- 第一台具有内部存储程序的计算机EDSAC
John Cocke (1987) -- RISC & 编译优化

程序设计语言(10)
Alan J. Perlis (1966) -- ALGOL
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语言和面向对象概念
Alan Kay(2003) -- SmallTalk语言和面向对象程序设计
Peter Naur(2005) -- ALGOL60以及编译设计

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

算法设计 (10)
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) -- 浮点运算
姚期智(Andrew Chi-Chih Yao) (2000) -- 伪随机数复杂性，密码系统和通讯复杂
性
Ronald L. Rivest, Adi Shamir, Leonard M. Adleman(2002) -- 公钥密码技术 --RSA


计算理论，自动机，计算复杂性 (7)
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) -- 计算复杂性，密码系统和程序检查验证

人工智能 (6)
Marvin Lee Minsky (1969) -- 神经元网络
John McCarthy (1971) -- LISP
Allen Newell，Herbert Simon (1975) -- Logic Theory Machine
Raj Reddy，Edward Feigenbaum(1994) -- 专家系统

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

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

图形技术和交互式系统 (2)
Ivan Edward Sutherland (1988) -- 图形技术，CAD
Douglas Engelbart(1998) -- 交互式系统，鼠标发明人

网络通讯(2)
Vinton Gray Cerf (2004) -- Internet TCP/IP协议
Robert Kahn(2004) -- Internet TCP/IP协议

--------------------------------------

TURING奖获得者分类(1966--2005)

灵芯

下面是整理陈怀临所写“计算的美丽--图灵奖的第一个40年”一文的结果。

硬件
Maurice V. Wilkes (1967) -- 第一台具有内部存储程序的计算机EDSAC
John Cocke (1987) -- RISC & 编译优化
Vinton Gray Cerf (2004) -- Internet基础通讯协议

程序语言设计与实现
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语言和面向对象概念
Alan Kay(2003) -- SmallTalk语言和面向对象程序设计
Peter Naur(2005) -- ALGOL60以及编译设计

算法
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) -- 计算复杂性，密码系统和程序检查验证

人工智能
Marvin Lee Minsky (1969) -- 神经元网络
John McCarthy (1971) -- LISP
Allen Newell，Herbert Simon (1975) -- Logic Theory Machine
Raj Reddy，Edward Feigenbaum(1994) -- 专家系统

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

几点分析
1。图灵奖所奖励的研究工作通常是10到30年前的研究成果；
2。算法，复杂性，以及程序语言是获奖最多的领域；
3。大部分获奖者来自学校和研究所，通过工业界的成就获奖的人有：
John Cocke，
Charles W. Bachman，
James N. Gray，
Frederick P. Brooks，
Dennis MacAlistair Ritchie，Ken Thompson。

参考文献

陈怀临：计算的美丽--图灵奖的第一个40年
http://www.xtrj.org/turing.htm

ACM 图灵奖网站
http://awards.acm.org/homepage.cfm?srt=all&awd=140