关于图灵奖

2．图灵奖简介
图灵奖最早设立于1966年，是美国计算机协会在计算机技术方面所授予的最高奖项，被喻为计算机界的诺贝尔奖。它是以英国数学天才Alan Turing先生的名字命名的，Alan Turing先生对早期计算的理论和实践做出了突出的贡献。图灵奖主要授予在计算机技术领域做出突出贡献的个人。而这些贡献必须对计算机业有长远而重要的影响。迄今为止已有34位在计算机领域做出突出贡献的科学家获此殊荣。1966年，A. J. Perlis因其在新一代编程技术和编译架构方面的贡献成为图灵奖的第一个得主。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的审核，并最终确定当年的获奖者。
3．历届图灵奖获得者
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协议栈