历届图灵奖获得者

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

历届图灵奖获得者名单:
1966 A. J. Perlis --- PhD, MIT; Prof, Yale (was Prof at CMU) (deceased) 因在新一代编程技术和编译架构方面的贡献而获奖.
1967 Maurice V. Wilkes --- PhD, Cambridge; Prof, Cambridge
因设计出第一台程序实现完全内存的计算机而获奖.
1968 Richard W. Hamming --- PhD, UIUC; Prof, Naval Postgraduate School (was at Bell) (deceased)
因在计数方法、自动编码系统、检测及纠正错码方面的贡献被授予图灵奖. 1969 Marvin Minsky --- PhD, Princeton, Prof, MIT
因对人工智能的贡献被授予图灵奖.
1970 J.H. Wilkinson --- BS, Cambridge; staff, National Physical Laboratory, London
因在利用数值分析方法来促进高速数字计算机的应用方面的研究而获奖.
1971 John McCarthy --- PhD, Princeton; Prof, Stanford
因对人工智能的贡献被授予图灵奖.
1972 Edsger W. Dijkstra --- PhD, U Amsterdam; Prof, UT Austin
因在编程语言方面的出众表现而获奖.
1973 Charles W. Bachman --- staff, Honeywell
因在数据库方面的杰出贡献而获奖.
1974 Donald E. Knuth --- PhD, Caltech; Prof, Stanford
因设计和完成TEX(一种创新的具有很高排版质量的文档制作工具)而被授予该奖.
1975 Allen Newell --- PhD, Stanford; Prof, CMU (deceased)
和Herbert A. Simon --- PhD, Chicago; Prof, CMU (deceased)
因在人工智能、人类识别心理和表处理的基础研究而获奖.
1976 Michael O. Rabin --- PhD, Princeton; Prof, Harvard
和Dana S. Scott --- PhD, Princeton; Prof, CMU
因他们的论文"有限自动机与它们的决策问题"中所提出的非决定性机器这一很有价值的概念而获奖.
1977 John Backus --- BS, Columbia; staff, IBM
因对可用的高级编程系统设计有深远和重大的影响而获奖.
1978 Robert W. Floyd --- BS, Chicago; Prof, Stanford
因其在软件编程的算法方面的影响，并开创了包括剖析理论、编程语言的语义、自动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖.
1979 Kenneth E. Iverson
因对程序设计语言理论、互动式系统及APL的贡献被授予该奖.
1980 C. Anthony R. Hoare --- Prof, Oxford(now at Microsoft)
因对程序设计语言的定义和设计所做的贡献而获奖. 快速排序算法发明人
1981 Edgar F. Codd --- PhD, Michigan; staff, IBM
因在数椐库管理系统的理论和实践方面的贡献而获奖.
1982 Steven A. Cook --- PhD, Harvard; Prof, U Toronto
因奠定了NP-Completeness理论的基础而获奖.
1983 Ken Thompson --- MS, Berkeley; staff, Bell-Labs
和Dennis M. Ritchie --- PhD, Harvard; staff, Bell-Labs
因在类属操作系统理论，特别是UNIX操作系统的推广而获奖.
1984 Niklaus Wirth --- PhD, Berkeley; Prof, ETH Zurich
因开发了EULER、 ALGOL-W、 MODULA和PASCAL一系列崭新的计算语言而获奖. 提出了程序 = 算法 + 数据结构
1985 Richard M. Karp --- PhD, Harvard; Prof, Berkeley
因对算法理论的贡献而获奖.
1986 John E. Hopcroft --- PhD, Stanford; Prof, Cornell
and Robert E. Tarjan --- PhD, Stanford; Prof, Princeton
因在算法及数据结构的设计和分析中所取得的决定性成果而获奖.
1987 John Cocke --- staff, IBM
因在面向对象的编程语言和相关的编程技巧方面的贡献而获奖.
1988 Ivan E. Sutherland --- PhD, MIT; staff, Sun
因在计算机图形学方面的贡献而获奖.
1989 William V. Kahan --- PhD, U Toronto; Prof, Berkeley
因在数值分析方面的贡献而获奖，他是是浮点计算领域的专家.
1990 Fernando J. Corbato --- PhD, MIT; Prof, MIT
因在开发大型多功能、可实现时间和资源共享的计算系统，如CTSS和Multics
方面的贡献而获奖.
1991 Robin Milner --- Prof, Cambridge (was at U Edinburgh)
因在可计算的函数的逻辑(LCF)、ML和并行理论(CCS)这三个方面的贡献而获奖. 1992 Butler Lampson --- PhD, Berkeley; staff, Microsoft
因在个人分布式计算机系统（包括操作系统）方面的贡献而获奖.
1993 Juris Hartmanis --- PhD, Caltech; Prof, Cornell
和 Richard E. Stearns --- PhD, Princeton; Prof, SUNY Albany
因奠定了计算复杂性理论的基础而获奖.
1994 Raj Reddy --- PhD, Stanford; Prof, CMU
和 Edward Feigenbaum (PhD, CMU; Prof, Stanford)
因对大型人工智能系统的开拓性研究而获奖.
1995 Manuel Blum --- PhD, MIT; Prof, Berkeley
因奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献而获奖. 1996 Amir Pnueli --- PhD, Weizmann Institute; Prof, NYU
因在计算中引入Temporal逻辑和对程序及系统检验的贡献被获奖.
1997 Douglas Engelbart --- PhD, Berkeley; staff, SRI
因提出互动式计算概念并创造出实现这一概念的重要技术而获奖.
1998 James Gray --- PhD, Berkeley; staff, Microsoft
因在数据库和事务处理方面的突出贡献而获奖.
1999 Frederick P. Brooks, Jr.--- PhD, Harvard; Prof, UNC
因对计算机体系结构和操作系统以及软件工程做出了里程碑式的贡献. 2000 Andrew Chi-Chih Yao --- PhD, UIUC; Prof, Princeton (now at 清华)因对计算理论做出了诸多根本性的重大贡献. (图灵奖自创立以来获得该奖项的首位华裔学者,全球华人的骄傲)
2001 Ole-Johan Dahl, and Kristen Nygaard --- Profs, U Oslo
因他们在设计编程语言SIMULA I 和SIMULA 67时产生的基础性想法,这些想法是面向对象技术的肇始.
2002 Ronald L. Rivest, Adi Shamir, Leonard M. Adelman-Ronald L. Rivest: PhD, Stanford; MIT Adi Shamir: PhD, Weizmann; Weizmann
Leonard M. Adelman: PhD, Berkeley; USC 因他们在公共密匙算法上所做的杰出贡献(RSA算法是当前在互联网传输、银行以及信用卡产业中被广泛使用的安全基本机制).
2003 Alan Kay --- PhD, Utah; HP Labs (was at Xerox PARC)
因发明第一个完全面向对象的动态计算机程序设计语言Smalltalk.
2004 Vinton G. Cerf、Robert E. Kahn
获奖原因：由于在互联网方面开创性的工作，这包括设计和实现了互联网的基础通讯协议，TCP/IP，以及在网络方面卓越的领导。

2005 Peter Naur
3月1日，ACM（美国计算机学会）决定将2005年图灵奖颁发给Peter Naur，
以表彰他在设计Algol 60语言上的贡献。

由于其定义的清晰性，Algol 60成为了许多现代程序设计语言的原型。

在语法描述中广泛使用的BNF范式，其中的“N”便是来自Peter Naur的名
字。

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

2007 Edmund M. Clarke、Allen Emerson和Joseph Sifakis
获奖原因：在将模型检查发展为被硬件和软件业中所广泛采纳的高效验证技术上的贡献。

而DDJ则将三人的贡献称为“在发现计算机硬件和软件中设计错误的自动化方法方面的工作”。

2008 Barbara Liskov
在计算机程序语言设计方面的开创性工作。

她的贡献是让计算
件更加可靠、安全和更具一致性。

2009 Charles Thacker
对第一台现代个人计算机Xerox PARC Alto的先驱性设计与实现，还有在局域网（包括以太网）、多处理器工作站、窥探高速缓存一致性协议和平板PC等方面的重大发明和贡献
2010 Leslie Valiant
过去30年来，莱斯利·瓦伦特为人工智能进步提供了理论基础，在改进机器学习方面取得骄人成绩。

他在计算科学和数学领域的远见及认知理论与其它技术结合后，开创了机器学习和通信的新时代，如IBM推出的计算系统已经能够挑战人类回答问题的能力。

2011年Judea Pearl
因其在人工智能领域的卓越贡献获奖
2012年Shafi Goldwasser Silvio Micali
由于在密码学和复杂理论领域做出创举性工作获奖
Knuth
从31岁那年起，他开始出版他的历史性经典巨著：The Art of Computer Programming。

他计划共写7卷，然而仅仅出版三卷之后，已经震惊世界，使他获得计算机科学界的最高荣誉Turing Award，此时，他年仅36岁。

后来，此书与牛顿的“自然哲学的数学原理”等一起，被评为“世界历史上最伟大的十种科学著作”之一。

在计算机科学上，他主要是一位理论家。

然而，他在理论以外也同样做出惊人的成就。

鼎鼎大名的排版软件Tex，就是他的作品。

此外，还有Metafont等，也在世界上得到广泛使用。

他的其它著作和论文难以数计，其中包括Concrete Mathematics等名著。

从1977年起，他获得Fletcher Jones Professor of Computer Science的头衔，并且同时兼任Professor of Electrical Engineering。

1990年，斯坦福大学更授予他一个非同寻常的头衔Professor of The Art of ComputerScience，作为对他的特殊贡献的承认！
他的其它荣誉数不胜数，其中主要的有：美国国家科学院院士，美国艺术与科学院院士，美国工程院院士，法国科学院外籍院士，挪威科学院外籍院士.......；美国数学会Steele奖，瑞典皇家科学院Adelskold奖，以色列工学院Harvey奖，IEEE冯诺依曼奖，东京高科技奖...... 共达数十个之多。

同时，他还是牛津大学
等二十几所大学的荣誉博士。

早在1970年，他就在国际数学大会上做过特邀报告。

Knuth获得图灵奖时为36岁，他是历史上最年轻的图灵奖获得者。

相比之下，其他获得图灵奖的人当时一般都是五十几岁或者六十几岁，可见Knuth有多伟大！Knuth很早就提前退休，为的是集中精力把巨著The Art of ComputerProgramming写完。

他一生共带过二十四个博士生，发誓不会再带更多的学生。

姚期智（Andrew Chi-Chih Yao，1946年12月24日-），美籍华人，世界著名计算机科学家，2000年图灵奖得主，目前是清华大学教授。

姚期智祖籍湖北孝感，1946年平安夜出生于上海，幼年随父母移居台湾。

1967年，姚期智毕业于台湾大学，之后赴美国深造。

1972年获哈佛大学物理学博士学位，1975年获伊利诺大学香槟分校(UIUC)计算机科学博士学位。

之后，他曾先后在麻省理工学院(1975—1976)、斯坦福大学(1976—1981，1983—1986)、加州大学伯克利分校(1981—1983)等美国高等学府从事教学和研究，1986年至2004年任普林斯顿大学计算机科学系教授，从2004年9月至今任清华大学高等研究中心教授。

此外，姚期智还是美国国家科学院院士、美国人文及科学院院士、中国科学院外籍院士及台湾中央研究院院士。

姚期智获得过美国工业与应用数学学会George Polya奖，美国计算机协会算法与计算理论分会（ACM SIGACT）Donald E.Knuth奖等荣誉。

2000年，因为姚期智对计算理论，包括伪随机数生成，密码学与通信复杂度的诸多贡献，美国计算机协会(ACM)决定把该年度的图灵奖授予他。

姚期智成为图灵奖创立以来首位获奖的亚裔学者。