陈怀临
下面是目前的分类内容，在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
[返回] 中文XML论坛 - 专业的XML技术讨论区 →
计算机理论与工程 → 『 理论计算机科学 』 → ACM 图灵奖获得者分类(1966--2005) zz
(订阅本版)
2006/5/27 13:57:00
新浪微博
ACM 图灵奖获得者分类(1966--2005) zz
