历届图灵奖获得者

1、精品 doc历届图灵奖获得者(1966-2010)图灵奖最早设立于 1966 年，是美国计算机协会在计算机技术方面所 授予的最高奖项，被喻为计算机界的诺贝尔奖它是以英国数学天才 AlanTuring先生的名字命名的，AlanTuring 先生对早期计算的理论 和实践做出了突出的贡献.图灵奖主要授予在计算机技术领域做出突 出贡献的个人.而这些贡献必须对计算机业有长远而重要的影响.图灵奖被称为“计算科学界的诺贝尔奖”，它创立于 1960 年，现在的I奖金 10 万美元，由 In tel 公司赞助。历届图灵奖获得者名单：1966A.J.Perlis-PhD,MIT;Prof, Yale(wasPro

2、fatCMU)(deceased)因在新一代编程技术和编译架构方面的贡献而获奖.1967MauriceV.Wilkes-PhD,Cambridge;Prof,Cambridge因设计出第一台程序实现完全内存的计算机而获奖.1968RichardW.Hamming-PhD,UIUC;Prof,NavalPostgraduateSchool(wasatBell)(deceased) x I Ih z-JX X因在计数方法、自动编码系统、检测及纠正错码方面的贡献被授予图灵奖.1969MarvinMinsky-PhD,Pri nceto n,Prof,MIT因对人工智能的贡献被授予图灵奖.精品 doc

3、1970J.H.Wilkinson-BS,Cambridge;staff,Natio nalPhysicalLabo ratory,London因在利用数值分析方法来促进高速数字计算机的应用方面的研究而获奖.1971JohnMcCarthy-PhD,Pri nceto n;Prof,Sta nford因对人工智能的贡献被授予图灵奖.1972EdsgerW.Dijkstra-PhD,UAmsterdam;Prof,UTAustin因在编程语言方面的出众表现而获奖.1973CharlesW.Bachman-staff,H on eywell因在数据库方面的杰出贡献而获奖.1974DonaldE.K

4、nuth-PhD,Caltech;Prof,Sta nford因设计和完成 TEX(一种创新的具有很高排版质量的文档制作工具)而 被授予该奖.1975AllenNewell-PhD,Sta nford;Prof,CMU(deceased)和 HerbertA.Simon-PhD,Chicago;Prof,CMU(deceased)因在人工智能、人类识别心理和表处理的基础研究而获奖.1976MichaeIO.Rabin-PhD,Pri nceto n;Prof,Harvard和 DanaS.Scott-PhD,Princeton;Prof,CMU、 I I :.XMT jjT严因他们的论文有限自

5、动机与它们的决策问题中所提出的非决定性精品 doc机器这一很有价值的概念而获奖.1977JohnBackus-BS,Columbia;staff,IBM因对可用的高级编程系统设计有深远和重大的影响而获奖1978RobertW.Floyd-BS,Chicago;Prof,Sta nford因其在软件编程的算法方面的影响，并开创了包括剖析理论、编程语言的语义、自动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖.1979Ke nn ethE.lvers on因对程序设计语言理论、互动式系统及APL 的贡献被授予该奖.1980C.AnthonyR.Hoare-Prof,Oxford

6、( no watMicrosoft)因对程序设计语言的定义和设计所做的贡献而获奖快速排序算法发明人1981EdgarF.Codd-PhD,Michiga n;staff,IBMI因在数据库管理系统的理论和实践方面的贡献而获奖.1982StevenA.Cook-PhD,Harvard;Prof,UToro nto因奠定了 NP-Completeness 理论的基础而获奖.1983KenThompson-MS,Berkeley;staff,Bell-Labs和 DennisM.Ritchie-PhD,Harvard;staff,Bell-Labs精品 doc因在类属操作系统理论，特别是 UNIX

7、操作系统的推广而获奖.1984NiklausWirth-PhD,Berkeley;Prof,ETHZurich因开发了 EULER ALGOL-WMODUL 和 PASCAI 一系列崭新的计算语言 X I JX X二一而获奖.提出了程序二算法+数据结构1985RichardM.Karp-PhD,Harvard;Prof,Berkeley因对算法理论的贡献而获奖.1986JohnE.Hopcroft-PhD,Sta nford;Prof,CornellandRobertE.Tarjan-PhD,Sta nford;Prof,Pri ncet on因在算法及数据结构的设计和分析中所取得的决定性成果

8、而获奖.1987JohnCocke-staff,IBM因在面向对象的编程语言和相关的编程技巧方面的贡献而获奖.1988IvanE.Sutherland-PhD,MIT;staff,Sun因在计算机图形学方面的贡献而获奖.1989WilliamV.Kahan-PhD,UToro nto;Prof,Berkeley因在数值分析方面的贡献而获奖，他是是浮点计算领域的专家.1990FernandoJ.Corbato-PhD,MIT;Prof,MIT因在开发大型多功能、可实现时间和资源共享的计算系统，如CTSS和 Multics 方面的贡献而获奖.精品 doc1991RobinMilner-Prof,C

9、ambridge(wasatUEdi nburgh)因在可计算的函数的逻辑(LCF)、ML 和并行理论(CCS)这三个方面的贡献而获奖.1992ButlerLampson-PhD,Berkeley;staff,Microsoft因在个人分布式计算机系统(包括操作系统)方面的贡献而获奖.1993JurisHartmanis-PhD,Caltech;Prof,Cornell! I I :.XMT jjT严和 RichardE.Stearns-PhD,Princeton;Prof,SUNYAIbany因奠定了计算复杂性理论的基础而获奖.1994RajReddy-PhD,Sta nford;Prof,

10、CMU和 EdwardFeigenbaum(PhD,CMU;Prof,Stanford)因对大型人工智能系统的开拓性研究而获奖.1995ManuelBlum-PhD,MIT;Prof,Berkeley因奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献而获奖.1996AmirPnueli-PhD,Weizma nnIn stitute;Prof,N YU因在计算中引入 Temporal 逻辑和对程序及系统检验的贡献被获奖.1997DouglasEngelbart-PhD,Berkeley;staff,SRI因提出互动式计算概念并创造出实现这一概念的重要技术而获奖.精品 doc1998Ja

11、mesGray-PhD,Berkeley;staff,Microsoft因在数据库和事务处理方面的突出贡献而获奖.I1999FrederickP.Brooks,Jr.-PhD,Harvard;Prof,UNC因对计算机体系结构和操作系统以及软件工程做出了里程碑式的贡献.2000AndrewChi-ChihYao-PhD,UIUC;Prof,Pri nceto n（no wat 清华）因对计算理论做出了诸多根本性的重大贡献.（图灵奖自创立以来获得该奖项的首位华裔学者，全球华人的骄傲）20010le-JohanDahl,andKristenNygaard-Profs,UOslo因他们在设计编程语言

12、 SIMULAI 和 SIMULA67 寸产生的基础性想法，:.这些想法是面向对象技术的肇始.2002Ro naldL.Rivest,AdiShamir,Le on ardM.Adelma n-Ron aldL.Rivest:PhD,Sta nford;MITAdiShamir:PhD,Weizma nn; Weizma nnLeonardM.Adelman:PhD,Berkeley;USC 因他们在公共密匙算法上所做的杰出贡献（RSA 算法是当前在互联网传输、银行以及信用卡产业中被广泛使用的安全基本机制）.2003AlanKay-PhD,Utah;HPLabs（wasatXeroxPARC）

13、因发明第一个完全面向对象的动态计算机程序设计语言Smalltalk.2004VintonG.Cerf、RobertE.Kahn获奖原因：由于在互联网方面开创性的工作，这包括设计和实现了互精品 doc联网的基础通讯协议，TCP/IP，以及在网络方面卓越的领导。2005PeterNaur3 月 1 日，ACM（美国计算机学会）决定将 2005 年图灵奖颁发给PeterNaur，以表彰他在设计 Algol60 语言上的贡献。由于其定义的清晰性，Algol60 成为了许多现代程序设计语言的原型。在语法描述中广泛使用的 BNF 范式，其中的“ N便是来自 PeterNaur 的名字。2006Fra nA

14、lle n获奖原因：对于优化编译器技术的理论和实践做出的先驱性贡献，这些技术为现代优化编译器和自动并行执行打下了基础。2007EdmundM.CIarke AllenEmerson 和 JosephSifakis获奖原因：在将模型检查发展为被硬件和软件业中所广泛采纳的、 I I :.XjjT严高效验证技术上的贡献。而 DDJ 则将三人的贡献称为“在发现计算机硬件和软件中设计错误的自动化方法方面的工作”。2008 BarbaraLiskov在计算机程序语言设计方面的开创性工作。她的贡献是让机软件更加可靠、安全和更具一致性。2009CharlesThacker精品 doc对第一台现代个人计算机 X

15、eroxPARCAIto 的先驱性设计与实现，还有 在局域网（包括以太网）、多处理器工作站、窥探高速缓存一致性协 议和平板 PC 等方面的重大发明和贡献2010LeslieValia nt过去 30 年来，莱斯利瓦伦特为人工智能进步提供了理论基础，在改进机器学习方面取得骄人成绩。他在计算科学和数学领域的远见及认知理论与其它技术结合后，开创了机器学习和通信的新时代，如IBM 推出的计算系统已经能够挑战人类回答问题的能力。2011 年JudeaPearl因其在人工智能领域的卓越贡献获奖2012 年ShafiGoldwasserSilvioMicali由于在密码学和复杂理论领域做出创举性工作获奖Kn

16、uth从 31 岁那年起，他开始出版他的历史性经典巨著：TheArtofComputerProgramming 。他计划共写 7 卷，然而仅仅出版三卷之后，已经震惊世界，使他获得计算机科学界的最高荣誉TuringAward，此时，他年仅 36 岁。后来，此书与牛顿的 自然哲学 的数学原理”等一起，被评为世界历史上最伟大的十种科学著作”之。在计算机科学上，他主要是一位理论家。然而，他在理论以外也精品 doc同样做出惊人的成就。鼎鼎大名的排版软件Tex，就是他的作品。此外，还有 Metafont 等，也在世界上得到广泛使用。他的其它著作和论文难以数计，其中包括 ConcreteMathematic

17、s 等名著。从 1977 年起，他获得FletcherJ on esProfessorofComputerScie nee 的头衔，并且同时兼任ProfessorofElectricalEngineering 。1990 年，斯坦福大学更授予他一 个非同寻常的头衔 ProfessorofTheArtofComputerScienee ，作为对他 的特殊贡献的承认！他的其它荣誉数不胜数，其中主要的有：美国国家科学院院士，美国艺术与科学院院士，美国工程院院士，法国科学院外籍院士，挪 威科学院外籍院士 ；美国数学会 Steele 奖，瑞典皇家科学院Adelskold 奖，以色列工学院 Harvey

18、奖，IEEE 冯诺依曼奖，东京高 科技奖共达数十个之多。同时，他还是牛津大学等二十几所大学 的荣誉博士。早在 1970 年，他就在国际数学大会上做过特邀报告。Knuth 获得图灵奖时为 36 岁，他是历史上最年轻的图灵奖获得者。相比之下，其他获得图灵奖的人当时一般都是五十几岁或者六十几 岁，可见Knuth 有多伟大！ Knuth 很早就提前退休，为的是集中精力、.I I * -.把巨著 TheArtofComputerProgramming 写完。他一生共带过二十四 个博士生，发誓不会再带更多的学生。姚期智（AndrewChi-ChihYao，1946 年 12 月 24 日-），美籍华人，世界著名计算机科学家，2000 年图灵奖得主，目前是清华大学教授。 姚精品 doc期智祖籍湖北孝感，1946 年平安夜出生于上海，幼年随父母移 居台湾。1967 年，姚期智毕业于台湾大学，之后赴美国深造。1972年获哈佛大学物理学博士学位， 1975 年获伊利诺大学香槟分校（UIUC）计算机科学博士学位。之后，他曾先后在麻省理工学院(1975 1976)、 斯坦福大学(1976 1981 ,1983 1986)、加州大学伯克利分校(1981 1983)等美