关于图灵奖

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 DahlKristen 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 KayPhD, Utah; HP Labs (was at Xerox PARC)   ——  发明第一个彻底面向对象的动态计算机程序设计语言Smalltalk.38．2004年图灵奖得到者：Vinton G. Cerf和Robert E. Kahn——  在计算机网络领域的先锋性工做,包括设计和实现了TCP/IP协议栈