图灵奖获奖名单历史

1．1966年图灵奖获得者：艾伦•佩利（A. J. Perlis）

　　PhD, MIT; Prof, Yale (was Prof at CMU) (deceased)
　　—— ALCOL语言和计算机科学的“催生者”
　　2．1967年图灵奖获得者：莫里斯•威尔克斯（Maurice V. Wilkes）
　　PhD, Cambridge; Prof, Cambridge
　　—— 世界上第一台存储程序式计算机EDSAC的研制者
　　3．1968年图灵奖获得者：理查德•哈明（Richard W. Hammin）
　　Prof, Naval Postgraduate School (was at Bell) (deceased)
　　—— 发明纠错码的大数学家和信息学专家
　　4．1969年图灵奖获得者：马文•明斯基（Marvin Minsky）
　　PhD, Princeton, Prof, MIT
　　—— “人工智能之父”和框架理论的创立者
　　5．1970年图灵奖获得者：詹姆斯•威尔金森（J.H. Wilkinson）
　　BS, Cambridge; staff, National Physical Laboratory, London
　　—— 数值分析专家和研制ACE计算机的功臣
　　6．1971年图灵奖获得者：约翰•麦卡锡 （John McCarthy）
　　PhD, Princeton; Prof, Stanford
　　—— “人工智能之父”和LISP语言的发明人
　　7．1972年图灵奖获得者：埃德斯加•狄克斯特拉（Edsger W. Dijkstra）
　　PhD, U Amsterdam; Prof, UT Austin
　　—— 最先察觉“goto有害”的计算机科学大师
　　8．1973年图灵奖获得者：查尔斯•巴赫曼 （Charles W. Bachman）
　　staff, Honeywell
　　—— “网状数据库之父”
　　9．1974年图灵奖获得者：唐纳德•克努（Donald E. Knuth）
　　PhD, Caltech; Prof, Stanford
　　—— 经典巨著《计算机程序设计的艺术》的年轻作者
　　10．1975年图灵奖获得者：赫伯特•西蒙和艾伦•纽厄尔
　　Allen Newell --- PhD, Stanford; Prof, CMU (deceased)
　　Herbert A. Simon --- PhD, Chicago; Prof, CMU (deceased)
　　—— 人工智能符号主义学派的创始人
　　11．1976年图灵奖获得者：米凯尔•拉宾和达纳•斯科特
　　Michael O. Rabin --- PhD, Princeton; Prof, Harvard
　　Dana S. Scott --- PhD, Princeton; Prof, CMU
　　—— 非确定性有限状态自动机理论的开创者
　　12．1977年图灵奖获得者：约翰•巴克斯（John Backus）
　　BS, Columbia; staff, IBM
　　—— FORTRAN和BNF的发明者
　　13．1978年图灵奖获得者：罗伯特•弗洛伊德（Robert W. Floyd）
　　BS, Chicago; Prof, Stanford
　　—— 前后断言法的创始人
　　14．1979年图灵奖获得者：肯尼思•艾弗森（Kenneth E. Iverson）
　　—— 大器晚成的科学家，APL的发明人
　　15．1980年图灵奖获得者：查尔斯•霍尔（C. Anthony R. Hoare）
　　Prof, Oxford(now at Microsoft)
　　—— 从QUICKSORT、CASE到程序设计语言的公理化
　　16．1981年图灵奖获得者：埃德加•科德（Edgar F. Codd）
　　PhD, Michigan; staff, IBM
　　—— “关系数据库之父”
　　17．1982年图灵奖获得者：斯蒂芬•库克（Steven A. Cook）
　　PhD, Harvard; Prof, U Toronto
　　—— NP完全性理论的奠基人
　　18．1983年图灵奖获得者：肯尼思•汤普森和丹尼斯•里奇
　　Ken Thompson --- MS, Berkeley; staff, Bell-Labs
　　Dennis M. Ritchie --- PhD, Harvard; staff, Bell-Labs
　　—— C和UNIX的发明者
　　19．1984年图灵奖获得者：尼克劳斯•沃思（Niklaus Wirth）
　　PhD, Berkeley; Prof, ETH Zurich
　　—— PASCAL之父及结构化程序设计的首创者
　　20．1985年图灵奖获得者：理查德•卡普（Richard M. Karp）
　　PhD, Harvard; Prof, Berkeley
　　—— 发明“分枝限界法”的三栖学者
　　21．1986年图灵奖获得者：约翰•霍普克洛夫特和罗伯特•陶尔扬
　　John E. Hopcroft --- PhD, Stanford; Prof, Cornell
　　Robert E. Tarjan --- PhD, Stanford; Prof, Princeton
　　—— 硕果累累的算法设计大师
　　22．1987年图灵奖获得者：约翰•科克（John Cocke）
　　staff, IBM
　　—— RISC概念的首创者
　　23．1988年图灵奖获得者：伊万•萨瑟兰（Ivan E. Sutherland）
　　IPhD, MIT; staff, Sun
　　—— 计算机图形学之父
　　24．1989年图灵奖获得者：威廉•卡亨（William V. Kahan）
　　PhD, U Toronto; Prof, Berkeley
　　—— 浮点计算的先驱
　　25．1991年图灵奖获得者：罗宾•米尔纳（Robin Milner）
　　Prof, Cambridge (was at U Edinburgh)
　　PhD, MIT; Prof, MIT
　　—— 标准元语言ML的开发者
　　26．1992年图灵奖获得者：巴特勒•兰普森（Butler Lampson）
　　PhD, Berkeley; staff, Microsoft
　　—— 从Alto系统的首席科学家到微软的首席技术官
　　27．1993年图灵奖获得者：尤里斯•哈特马尼斯和理查德•斯特恩斯
　　PhD, Caltech; Prof, Cornell
　　Richard E. Stearns --- PhD, Princeton; Prof, SUNY Albany
　　—— 计算复杂性理论的主要奠基人
　　28．1994年图灵奖获得者：爱德华•费根鲍姆和劳伊•雷迪
　　Raj Reddy --- PhD, Stanford; Prof, CMU
　　Edward Feigenbaum (PhD, CMU; Prof, Stanford)
　　—— 大型人工智能系统的开拓者
　　29．1995年图灵奖获得者：曼纽尔•布卢姆（ Manuel Blum）
　　PhD, MIT; Prof, Berkeley
　　—— 计算复杂性理论的主要奠基人之一
　　30．1996年图灵奖获得者：阿米尔•伯努利（Amir Pnueli）
　　PhD, Weizmann Institute; Prof, NYU
　　—— 把时态逻辑引入计算机科学
　　31．1997年图灵奖获得者：道格拉斯•恩格尔巴特（Douglas Engelbart）
　　PhD, Berkeley; staff, SRI
　　—— 鼠标器的发明人和超文本研究的先驱
　　32．1998年图灵奖获得者：詹姆斯•格雷（James Gray）
　　PhD, Berkeley; staff, Microsoft
　　—— 数据库技术和“事务处理”专家
　　33．1999年图灵奖获得者：弗雷德里克•布鲁克斯（Frederick P. Brooks, Jr.）
　　PhD, Harvard; Prof, UNC
　　—— IBM 360系列计算机的总设计师和总指挥
　　34．2000年图灵奖获得者：姚期智（Andrew Chi-Chih Yao）
　　PhD, UIUC; Prof, Princeton (now at 清华)
　　—— 对计算理论做出了诸多“根本性的、意义重大的”贡献
　　图灵奖自创立以来获得该奖项的首位华裔学者
　　35．2001年图灵奖获得者：
　　Ole-Johan Dahl
　　Kristen Nygaard --- Profs, U Oslo
　　—— 在设计编程语言SIMULA I 和SIMULA 67时产生的基础性想法是面向对象技术的肇始。
　　36．2002年图灵奖获得者：
　　Ronald L. Rivest --- PhD, Stanford; MIT
　　Adi Shamir --- PhD, Weizmann; Weizmann
　　Leonard M. Adelman --- PhD, Berkeley; USC
　　—— 在公共密匙算法上所做的杰出贡献(RSA算法是当前在互联网传输、银行以及信用卡产业中被广泛使用的安全基本机制)。
　　37．2003年图灵奖获得者：Alan Kay
　　PhD, Utah; HP Labs (was at Xerox PARC)
　　—— 发明第一个完全面向对象的动态计算机程序设计语言Smalltalk.
　　38．2004年图灵奖获得者：Vinton G. Cerf和Robert E. Kahn
　　—— 在计算机网络领域的先锋性工作,包括设计和实现了TCP/IP协议栈
　　39.2005年图灵奖获得者：彼得·诺尔 en:Peter Naur Algol 60语言
　　——设计Algol 60语言上的贡献
　　40.2006年图灵奖获得者： 法兰西斯·艾伦 （en:Frances E. Allen ）
　　—— 优化编译器
　　41.2007年图灵奖获得者：爱德蒙·克拉克 艾伦·爱默生 约瑟夫·斯发基斯 （Edmund M. Clarke en:Allen Emerson en:Joseph Sifakis ）
　　——开发自动化方法检测计算机硬件和软件中的设计错误
　　42.2008年图灵奖获得者：芭芭拉"利斯科夫(Barbara Liskov）
　　——让计算机软件更加可靠、安全和更具一致性