917469-大学计算机基础-图灵奖获得者

1.图灵奖简介图灵奖最早设立于1966年，是美国计算机协会在计算机技术方面所授予的最高奖项，被喻为计算机界的诺贝尔奖。

它是以英国数学天才Alan Turing先生的名字命名的，Alan Turing先生对早期计算的理论和实践做出了突出的贡献。

图灵奖主要授予在计算机技术领域做出突出贡献的个人。

而这些贡献必须对计算机业有长远而重要的影响。

迄今为止已有34位在计算机领域做出突出贡献的科学家获此殊荣。

1966年，A.J.Perlis因其在新一代编程技术和编译架构方面的贡献成为图灵奖的第一个得主。

每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。

任何人都可成为提名人。

美国计算机协会将组成评选委员会对被提名者进行严格的审核，并最终确定当年的获奖者。

2．历届图灵奖获得者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,HarvardDana 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-LabsDennis 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,CornellRobert 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,CornellRichard E.Stearns---PhD,Princeton;Prof,SUNY Albany——计算复杂性理论的主要奠基人28．1994年图灵奖获得者：爱德华•费根鲍姆和劳伊•雷迪Raj Reddy---PhD,Stanford;Prof,CMUEdward 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——IBM360系列计算机的总设计师和总指挥34．2000年图灵奖获得者：姚期智（Andrew Chi-Chih Yao）PhD,UIUC;Prof,Princeton(now at清华)——对计算理论做出了诸多“根本性的、意义重大的”贡献图灵奖自创立以来获得该奖项的首位华裔学者35．2001年图灵奖获得者：Ole-Johan DahlKristen Nygaard---Profs,U Oslo——在设计编程语言SIMULA I和SIMULA67时产生的基础性想法是面向对象技术的肇始。

36．2002年图灵奖获得者：Ronald L.Rivest---PhD,Stanford;MITAdi Shamir---PhD,Weizmann;WeizmannLeonard 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协议栈39．2005年图灵奖获得者：Peter Naur——设计Algol60程序设计语言。

Algol60语言定义清晰，是许多现代程序设计语言的原型。

40．2006年图灵奖获得者：Fran Allen——对于优化编译器技术的理论和实践做出的先驱性贡献，这些技术为现代优化编译器和自动并行执行打下了基础。

41．2007年图灵奖获得者：Edmund M.Clarke、Allen Emerson和Joseph Sifakis——开发自动化方法检测计算机硬件和软件中的设计错误。

42．2008年图灵奖获得者：Barbara Liskov——编程语言和系统设计的实践与理论。

43．2009年图灵奖获得者：Charles Thacker——帮助设计、制造第一款现代PC。

44．2010年图灵奖获得者：Leslie Valiant——对众多计算理论所做的变革性的贡献。

45．2011年图灵奖获得者：Judea Pearl——人工智能46．2012年图灵奖获得者：Shafi Goldwasser、Silvio Micali——由于在密码学和复杂理论领域做出创举性工作。

47．2013年图灵奖获得者：Leslie Lamport——在提升计算机系统的可靠性及稳定性领域的杰出贡献。