获奖科学家国籍分布:
美国:39 英国:5 以色列:3 加拿大:2 挪威:2 荷兰:1 瑞士:1 丹麦:1 法国:1
图灵奖获得者最高学位分布:
博士学位:39 硕士学位:3 学士学位:5 无法了解:3
图灵奖获得者获奖时年龄分布:
70-79(4): 70(Ole-Johan Dahl), 72(Douglas Engelbart), 75(Kristen Nygaard), 77(Peter 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&编译优化
程序设计语言(11)
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以及编译设计
Frances E Allen(2006)–并行编译技术
形式语言, 程序语言语义 (4)
Robert W. Floyd (1978) — 编程语言语义,自动程序验证
C. Antony R. Hoare (1980) — Hoare Logic, CSP
Robin Milner (1991) — LCF,ML,CCS,PI-calculus
Amir Pnueli (1996) — 时序逻辑和系统验证
Edmund M. Clarke(2007) –时序逻辑模型检查
E. Allen Emerson (2007) –时序逻辑模型检查
Joseph Sifakis (2007) –时序逻辑模型检查
算法设计 (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协议
没有评论:
发表评论