-- 作者:Logician
-- 发布时间:5/27/2006 1:57:00 PM
-- ACM 图灵奖获得者分类(1966--2005) zz
陈怀临 下面是目前的分类内容,在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
|