图灵奖获得者(2010修订版).doc

历届图灵奖获得者年度姓名获奖原因所在机构本科、硕士、博士1966Alan J. Perlis艾伦佩利（1990/2/7逝世）因在程序设计和编译领域的贡献而获奖。“使计算机科学成为独立学科的奠基人”(A founding father of Computer Science as a separate discipline)Carnegie Mellon University卡内基梅隆大学本科：化学，CMU硕士：数学，Caltech博士：数学，MIT1967Maurice Vincent Wilkes莫里斯威尔克斯世界上第一台具有内部存储程序的计算机EDSAC的研制者。University of Cambridge剑桥大学本科：物理，英剑桥圣约翰学院硕士、博士：物理，英剑桥1968RichardWesley Hamming理查德卫斯里哈明（1998/1/7逝世）因在数字方法、自动编码系统和错误检测和错误纠正编码领域的杰出贡献而获奖。Bell Labs贝尔实验室本科：数学，芝加哥硕士：数学，内布拉斯加大学博士：数学，UIUC1969Marvin Lee Minsky马文明斯基因在人工智能研究领域的杰出成就而获奖。Massachusetts Institute of Technology麻省理工学院本科：物理，哈佛硕士、博士：数学，普林斯顿1970James Hardy Wilkinson詹姆斯威尔金森因在数值分析研究领域的杰出贡献而获奖。National Physical Laboratory of UK英国国家物理实验室本科：数学，英剑桥三圣学院1971John McCarthy约翰麦卡锡因在人工智能研究方面的杰出贡献而获奖。Stanford University斯坦福大学本科：数学，Caltech硕士、博士：数学，普林斯顿1972Edsger Wybe Dijkstra埃德斯加狄克斯特拉因最早指出“goto是有害的”以及首创结构化程序设计而获奖。Eindhoven University of Technology埃因霍温技术大学本科：数学、物理，荷莱顿大学博士：数学/计算机，荷阿姆斯特丹大学1973Charles W. Bachman查尔斯巴赫曼因数据库技术方面的杰出贡献而获奖，网状数据库之父。Honeywell International Inc.霍尼韦尔公司本科：机械工程，密歇根州立大学；硕士：宾夕法尼亚大学；MBA：沃顿商学院 1974Donald Ervin Knuth唐纳德克努特因在算法分析和程序语言设计领域的杰出贡献而获奖，特别是其著名的“Art of Computer Programming”系列丛书。Stanford University斯坦福大学本科：物理，Case理工学院，毕业时因成绩优异获得硕士学位博士：数学，Caltech1975Allen Newell艾伦纽厄尔因在人工智能、认知科学、编目处理方面作出的基础性贡献而获奖。Carnegie Mellon University卡内基梅隆大学本科：物理，斯坦福硕士：数学，普林斯顿博士：数学，CMUHerbert A. Simon赫伯特西蒙本科、硕士、博士：政治学，芝加哥1976Michael Oser Rabin米凯尔拉宾因他们合写的论文“有限自动机及其判定问题”而获奖。The Hebrew University of Jerusalem以色列希伯来大学本科：数学，以莱利学院；硕士：数学，以希伯来大学博士：数学，普林斯顿Dana S. Scott达纳斯科特University of Oxford牛津大学本科：数学，伯克利硕士、博士：数学，普林斯顿1977John Backus约翰巴克斯FORTRAN语言和BNF范式的发明者。IBM本科：数学，哥伦比亚1978Robert W Floyd罗伯特弗洛伊德因在分析理论、程序设计语言的逻辑与语义、自动程序验证、自动程序综合、算法分析以及编译器方面的贡献而获奖。Stanford University斯坦福大学本科：文学及理科，芝加哥大学1979Kenneth Eugene Iverson肯尼思艾弗森因其在APL程序语言和数学符号方面的先驱性的工作而获奖。IBM本科：数学、物理，加Queens大学硕士、博士：应用数学，哈佛1980Charles Antony Richard Hoare (Tony Hoare)托尼霍尔因在程序语言定义与设计领域的基础性贡献而获奖。University of Oxford牛津大学本科：数学，英牛津莫顿学院硕士：数学，英牛津1981Edgar Frank Codd埃德加科德因在数椐库管理系统的理论和实践方面的巨大贡献而获奖，关系数据库之父。IBM本科、硕士：数学，英牛津博士：计算机与通信，密歇根大学1982Stephen Arthur Cook斯蒂芬库克因在计算复杂性理论方面的卓越贡献而获奖。University of Toronto加拿大多伦多大学本科：科学工程，密歇根大学硕士：理科，哈佛博士：数学，哈佛1983Dennis MacAlistair Ritchie丹尼斯里奇C语言和Unix操作系统的发明者。Bell Labs贝尔实验室本科：物理，哈佛博士：应用数学，哈佛（未获学位）Kenneth Lane Thompson肯尼思汤普森本科、硕士：电气工程，伯克利1984Niklaus Wirth尼克劳斯沃思因开发了EULER、ALGOL-W、MODULA和PASCAL等一系列程序设计语言，以及提出结构化程序设计这一革命性概念而获奖。ETH Zrich苏黎世联邦理工学院本科：电气工程，ETH硕士：电气工程，加Laval大学博士：计算机，伯克利1985Richard M. Karp理查德卡普因算法理论方面的贡献而获奖。University of California, Berkeley加州大学伯克利分校本科：文学，哈佛硕士：理科，哈佛博士：应用数学，哈佛1986John E. Hopcroft约翰霍普克罗夫特因在数据结构和算法设计与分析领域的基础性贡献而获奖。Cornell University康乃尔大学本科：电气工程，西雅图大学；硕士、博士：电气工程，斯坦福Robert E. Tarjan罗伯特陶尔扬Princeton University普林斯顿大学本科：数学，Caltech硕士、博士：计算机，斯坦福。导师Knuth1987John Cocke约翰科克因在编译、高性能计算机体系结构以及RISC的开发等方面的重要贡献而获奖。IBM本科：机械工程，Duke 大学硕士、博士：数学，Duke大学1988Ivan Edward Sutherland伊万萨瑟兰因在计算机图形学领域的杰出贡献而获奖。Sun Microsystems, Inc.本科：电气工程，CMU硕士：电气工程，Caltech博士：计算机，MIT1989William Kahan威廉卡亨因在数值分析领域基础性的贡献而获奖。University of California, Berkeley加州大学伯克利分校本科、硕士、博士：数学，加Toronto大学1990Fernando Jos Corbat费尔南多考巴脱因在开发第一个分时系统CTSS以及Multics操作系统方面的先驱性贡献而获奖。Massachusetts Institute of Technology麻省理工学院本科：物理，Caltech硕士、博士：物理，MIT1991Robin Milner罗宾米尔纳因三个领域的杰出成就而获奖：1) 形式化逻辑系统的一个数学模型LCF，2）多态类型的元语言ML，3）CCS, 一个并发系统的综合理论。The University of Edinburgh爱丁堡大学本科：数学，英剑桥埃顿学院、国王学院1992Butler W. Lampson巴特勒兰普森因在分布式计算环境、个人计算环境的发展和实现技术上的贡献而获奖，其中包括：工作站，网络，操作系统，程序语言，显示，安全和文档排版处理等。Digital Equipment CorporationDEC公司（1998年被康柏收购，2001年与惠普合并）本科：文学，哈佛硕士、博士：理工，伯克利1993Juris Hartmanis尤里斯哈特马尼斯计算复杂性理论的主要奠基人。Cornell University康乃尔大学本科：物理，德Marburg大学硕士：数学，UMKC博士：数学，CaltechRichard Edwin Stearns理查德斯特恩斯University at Albany, State University of New York纽约州立大学奥尔巴尼分校本科：数学，Carlton学院硕士、博士：数学，普林斯顿1994Edward Feigenbaum爱德华费根鲍姆因在大型人工智能系统领域的先驱性的贡献而获奖。Stanford University斯坦福大学本科、硕士、博士：电气工程，CMURaj Reddy劳伊雷迪Carnegie Mellon University卡内基梅隆大学本科：印度硕士：澳新南威尔士博士：计算机，斯坦福1995Manuel Blum曼纽尔布卢姆因在计算复杂性理论、密码系统和程序验证方面的卓越贡献而获奖。University of California, Berkeley加州大学伯克利分校本科硕士博士：数学，MIT受过M. O. Rabin教诲1996Amir Pnueli阿米尔伯努利因把时序逻辑引入计算机科学的开创性工作，和在编程语言和系统验证方面的突出贡献而获奖。Weizmann Institute of Science以色列魏茨曼科学研究所本科、硕士、博士：数学，以魏茨曼学院1997Douglas Engelbart道格拉斯恩格尔巴特因提出交互式计算领域的卓越贡献而获奖，鼠标器的发明者和超文本研究的先驱。Bootstrap Institute本科：电气工程，Oregon州立大硕士、博士：电气工程/计算机，伯克利1998Jim(James)N. Gray詹姆士格雷因在数据库和事务处理研究领域的突出贡献而获奖。Microsoft Corporation微软本科硕士博士：计算机，伯克利1999Frederick P. Brooks弗雷德里克布鲁克斯因在计算机体系结构，操作系统和软件工程领域的卓越贡献而获奖。University of North Carolina at Chapel Hill北卡罗来纳大学本科：物理，Duke大硕士、博士：计算机，哈佛。导师艾肯2000Andrew Chi-Chih Yao姚期智因在计算理论领域的卓越贡献而获奖。Princeton University普林斯顿大学本科：物理，台湾大学硕士、博士：物理，哈佛；计算机博士：UIUC。导师C.L.Liu2001Ole-Johan Dahl奥尔-约翰戴尔面向对象技术的奠基人。University of Oslo挪威奥斯陆大学本科、硕士：数学，挪奥斯陆大学Kristen Nygaard克利斯登奈加特本科、硕士：数学，挪奥斯陆大学2002Leonard M. Adleman伦纳德阿德勒曼因他们在公钥密码技术方面的杰出贡献而获奖。公钥密码算法RSA的发明人。University of Southern California南加州大学本科、硕士、博士：数学，伯克利Ronald Linn Rivest罗纳德里韦斯特Massachusetts Institute of Technology麻省理工学院本科：数学，耶鲁硕士、博士：计算机，斯坦福Adi Shamir阿迪沙米尔Weizmann Institute of Science以色列魏茨曼科学研究所本科：数学，以特拉维夫大学硕士、博士：计算机，以魏茨曼学院2003Alan Kay阿伦凯面向对象语言SmallTalk的发明者、第一个具有图形用户界面的个人计算机Alto的开发者。HP本科：科罗拉多大学硕士、博士：计算机，犹他大学2004Vinton Gray Cerf温顿瑟夫因在互联网领域的先驱性贡献而获奖，TCP/IP协议的发明者。MCI Inc.本科：数学，斯坦福硕士、博士：计算机，UCLARobert E. Kahn罗伯特卡恩Corporation for National Research InitiativesCNRI公司本科：电气工程，纽约城市大学硕士、博士：电气工程，普林斯顿大学2005Peter Naur彼得诺尔因在定义Algol 60程序设计语言方面的先驱性工作，对编译器设计的贡献、以及在计算机程序设计方面的贡献而获奖。K?benhavns Universitet丹麦哥本哈根大学本科硕士、博士：天文学，丹哥本哈根大学2006Frances E Allen弗朗西斯阿伦因为在编译器优化的理论和实践方面做出的开创性贡献而获奖。她的工作奠定了现代优化编译器和自动并行化执行的基础。IBM本科：数学，纽约州立大硕士：数学，密歇根大学2007Edmund M. Clarke表彰他们开发模型检测技术，并使之成为一个广泛应用在硬件和软件工业中非常有效的算法验证技术所做的奠基性贡献。Carnegie Mellon University卡内基梅隆大学本科：数学，弗吉尼亚大学；硕士：数学，Duke大学；博士：计算机，康奈尔E Allen EmersonThe University of Texas at Austin德克萨斯大学奥斯汀分校本科、硕士：数学，UT-Austin博士：数学，哈佛，导师Edmund M. ClarkeJoseph SifakisCentre National de la Recherche Scientifique at the VERIMAG laboratory法国国家科学研究中心本科：电子工程，希国立科技大学硕士、博士：计算机，法Grenoble大学2008Barbara H Liskov芭芭拉利斯科夫表彰她在提高计算机软件的可靠性、安全性和易用性方面的杰出贡献。Massachusetts Institute of Technology麻省理工学院本科：数学，伯克利硕士、博士：计算机，斯坦福，导师John McCarthy2009Charles P. Thacker（昵称Chuck）查尔斯萨克尔表彰他对第一台现代个人计算机Xerox PARC Alto的先驱性设计与实现，还有在局域网（包括以太网）、多处理器工作站、窥探高速缓存一致性协议和平板PC等方面的重大发明和贡献。微软研究院本科：物理，伯克利图灵奖获得者分类及各项指标统计(1966-2006)总共获奖人数(1966-2006)：41届，51人。获奖科学家国籍分布：美国: 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(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, 5940-49(15)：40, 42, 42, 42, 42, 43, 44, 44, 44, 45, 46, 47, 48, 49, 4930-39(2)：36(Donald Knuth), 38(Robert E. Tarjan)Unknown(2): Richard E. Stearns, James N. Gray, Frances Allen图灵奖获得者去世人数 (截止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以及编译设计 Frances 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) - 时序逻辑和系统验证算法设计 (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