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

导读：


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


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


        获奖科学家国籍分布：


        美国: 36


英国: 5


以色列: 3


加拿大: 2


挪威: 2


荷兰: 1


瑞士: 1


丹麦: 1


        图灵奖获得者最高学位分布：


        博士学位：39


硕士学位：4


学士学位：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(JurisHartmanis), 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, Frances Allen


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


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





硬件，体系结构(2)


Maurice V. Wilkes (1967) -- 第一台具有内部存储程序的计算机EDSAC


John Cocke(1987) -- RISC &编译优化


程序设计语言(10)


Alan J. Perlis(1966) -- ALGOL


EdsgerWybeDijkstra(1972) -- ALGOL


John W. Backus (1977) -- FORTRAN


Kenneth Eugene Iverson (1979) -- APL程序语言


NiklausWirth (1984) -- PASCAL


John Cocke(1987) -- RISC &编译优化


Ole-Johan Dahl，KristenNygaard(2001) -- Simula语言和面向对象概念


Alan Kay(2003) -- SmallTalk语言和面向对象程序设计


Peter Naur(2005) -- ALGOL60以及编译设计


Frances Allen(2006) -- 编译优化


形式语言, 程序语言语义 (4)


        Robert W. Floyd (1978) -- 编程语言语义，自动程序验证


C. AntonyR. Hoare (1980) -- Hoare Logic, CSP


Robin Milner (1991) -- LCF，ML，CCS，PI-calculus


AmirPnueli(1996) -- 时序逻辑和系统验证


        算法设计(10)


Richard Hamming (1968) -- 汉明码


James Hardy Wilkinson (1970) -- 数值分析


Donald E. Knuth -- Art of Computer Programming


John E. Hopcroft，RobertEndre. Tarjan(1986) -- 数据结构和算法设计


William (Velvel) Morton Kahan(1989) -- 浮点运算


姚期智(Andrew Chi-ChihYao) (2000) -- 伪随机数复杂性，密码系统和通讯复杂


性


Ronald L. Rivest, AdiShamir, Leonard M. Adleman(2002) -- 公钥密码技术--RSA


计算理论，自动机，计算复杂性(7)


Dana Stewart Scott (1976) -- 自动机


Michael OserRabin (1976) -- 自动机


Stephen Arthur Cook (1982) -- NP完全性


Richard Manning Karp (1985) -- 证明一个问题是否是属于NP完全


JurisHartmanis，RichardEdwin Stearns (1993) -- 计算复杂性


Manuel Blum (1995) -- 计算复杂性，密码系统和程序检查验证


人工智能(6)


Marvin Lee Minsky(1969) -- 神经元网络


John McCarthy (1971) -- LISP


Allen Newell，HerbertSimon (1975) -- Logic Theory Machine


RajReddy，EdwardFeigenbaum(1994) -- 专家系统


操作系统(4)


Dennis MacAlistairRitchie，KenThompson (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) -- InternetTCP/IP协议


Robert Kahn(2004) --InternetTCP/IP协议


参考了http://www.xtrj.org/turing.htm


Trackback: http://tb.blog.csdn.net/TrackBack.aspx?PostId=1600926


        本文转自


http://blog.csdn.net/celestialwy/archive/2007/05/08/1600926.aspx