图灵奖获得者及原因(-2013)

1966A.J. Perlis艾伦·佩里斯

1967Maurice V. Wilkes莫里斯·威尔克斯

1968Richard Hamming理查德·汉明

1969Marvin Minsky马文·明斯基

1970 J.H. Wilkinson詹姆斯·威尔金森

1971John McCarthy约翰·麦卡锡

1972 E.W. Dijkstra埃德斯加·狄克斯特拉

1973 Charles W. Bachman查尔斯·巴赫曼

1974 Donald E. Knuth唐纳德·克努特

1975Allen Newell艾伦· 纽厄尔、Herbert A. Simon赫伯特·西蒙

1976Michael O. Rabin迈克尔·拉宾、Dana S. Scott达纳·斯科特

1977John Backus约翰·巴克斯

1978Robert W. Floyd罗伯特·弗洛伊德

1979 Kenneth E. Iverson肯尼斯·艾佛森

1980C. Antony R. Hoare查尔斯·霍尔

1981 Edgar F. Codd埃德加·科德

1982Stephen A. Cook史蒂芬·库克

1983Ken Thompson肯尼斯·汤普森、Dennis M. Ritchie丹尼斯·里奇

1984 Niklaus Wirth尼克劳斯·沃斯

1985 Richard M. Karp理查德·卡普

1986 John Hopcroft约翰·霍普克洛夫特、Robert Tarjan罗伯特·陶尔扬 1987John Cocke约翰·科克

1988 Ivan Sutherland伊万·萨斯兰德

1989William (Velvel) Kahan威廉·卡恩

1990 Fernando J. Corbato费尔南多·考巴脱

1991 Robin Milner罗宾·米尔纳

1992Butler W. Lampson巴特勒·兰普森

1993 Juris Hartmanis尤里斯·哈特马尼斯、Richard E. Stearns理查德·斯1994Edward Feigenbaum爱德华·费根鲍姆、Raj Reddy劳伊·雷迪

1995Manuel Blum曼纽尔·布卢姆

1996 Amir Pnueli阿米尔·伯努利

1997 Douglas Engelbart道格拉斯·恩格尔巴特

1998 James Gray詹姆斯·格雷

1999Frederick P. Brooks, Jr. 弗雷德里克·布鲁克斯

2000Andrew Chi-Chih Yao（姚期智）

2001 Ole-Johan Dahl达菲、Kristen Nygaard奈加德

2002Ronald L. Rivest、Adi Shamir、Leonard M. Adleman

2003 Alan Kay

2004Vinton G. Cerf、Robert E. Kahn

2005Peter Naur

2006Fran Allen

2007 Edmund M. Clarke、Allen Emerson和Joseph Sifakis

2008Barbara Liskov 利斯科夫

2009 Charles Thacker

2010Leslie Valiant 莱斯利·瓦伦特

2011 Judea Pearl

2012Shafi Goldwasser和Silvio Micali

2013莱斯利·兰伯特 Leslie Lamport

在先进编程技术和编译架构方面的贡献

设计和制造了第一台内部存储程序的计算机EDSAC

在计数方法、自动编码系统、检测及纠正错码方面的工作

人工智能理论及软件

在数值分析方面的研究工作

讲稿“The Present State of Research on Artificial Intelligence”，对人工智能领域的贡讲稿“The Prese 对开发ALGOL做出了原理性贡献。最早指出“goto”语句有害，著名的最短路径Dijkstra算法，现代操作系统的奠在数据库方面的杰出贡献

在算法分析和程序语言设计方面的重要贡献，计算机程序设计艺术的作者

在人工智能、人类识别心理和表处理的基础贡献

他们的论文"有限自动机与它们的决策问题"，被证明具有巨大的价值

在高级语言方面所做出的具有广泛和深远意义的贡献，特别是其在Fortran语言方面。Fortran语言以及“巴克斯范在如何开发高效、可靠的软件方法论方面的贡献，这包括：建立分析理论、编程语言的语义学、自动程序检验、自在编程语言的理论和实践方面，特别是APL，所进行的开创性的工作

在编程语言的定义和设计方面的基础性贡献

在数椐库管理系统的理论和实践方面基础性和连续不断的贡献，关系数据库之父。（关系数据库之父，我们现在学其于1971年发表的论文，奠定了NP-Completeness理论的基础

在通用操作系统理论研究，特别是UNIX操作系统的实现上的贡献。（2011年10月9日，C语言之父，UNIX之父——丹开发了EULER、 ALGOL-W、 MODULA和PASCAL一系列崭新的计算语言。Pascal语义的发明者和结构化程序设计创始者在算法理论方面，特别是NP-completeness理论方面，连续不断的贡献

在算法及数据结构设计和分析方面的基础性成就。两人是师生关系

在编译器设计和理论、大规模系统架构以及开发RISC等方面的重要贡献。世界上第一个“超级计算机”的设计者、在计算机图形学方面开创性和远见性的贡献，其所建立的技术历经二、三十年依然有效。计算机图形学之父

在数值分析方面的基础性贡献

组织和领导了多功能、大规模、时间和资源共享的计算机系统的开发

在可计算函数逻辑(LCF)、ML和并行理论(CCS)这三个方面突出和完美的贡献

在个人分布式计算机系统及其实现技术上的贡献，这包括：工作站、网络、操作系统、编程系统、显示、安全和文他们的论文奠定了计算复杂性理论的基础

他们所设计和建造的大规模人工智能系统，证明了人工智能技术的重要性和其潜在的商业价值

在计算复杂性理论、密码学以及程序校验方面的基础性贡献。香港城市大学计算机系教授

在计算科学中引入temporal逻辑以及对编程和系统认证方面的杰出贡献

提出了激动人心的交互式计算机未来构想，以及发明了实现这一构想的关键技术。鼠标的发明者以及超文本研究的在数据库、事务处理研究和相关系统实现的技术领导工作。 1997 Douglas Engelbart道格拉斯·恩格尔巴特

在计算机体系架构、操作系统以及软件工程方面所做出的具有里程碑式意义的贡献。人月神话的作者

由于在计算理论方面的贡献而获奖，包括伪随机数的生成算法、加密算法和通讯复杂性。（唯一的华人）

面向对象编程始发于他们基础性的构想，这些构想集中体现在他们所设计的编程语言SIMULA I 和SIMULA 67中。（在公共密钥理论和实践方面的基础性工作

在面向对象语言方面原创性思想，领导了Smalltalk的开发团队

在互联网方面开创性的工作，这包括设计和实现了互联网的基础通讯协议，TCP/IP，以及在网络方面卓越的领导在设计Algol60程序设计语言上的贡献。Algol60语言定义清晰，是许多现代程序设计语言的原型

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

：在将模型检查发展为被硬件和软件业中所广泛采纳的高效验证技术上的贡献。而DDJ则将三人的贡献称为“在发在计算机程序语言设计方面的开创性工作。她的贡献是让计算机软件更加可靠、安全和更具一致性

对第一台现代个人计算机Xerox PARC Alto的先驱性设计与实现，还有在局域网（包括以太网）、多处理器工作站为人工智能进步提供了理论基础，在改进机器学习方面取得骄人成绩。在计算科学和数学领域的远见及认知理论与通过概率论和因果推理对人工智能领域作出的根本性贡献

在密码科学复杂理论基础过程中做出变革性工作，并且发展了保证网上交易安全的黄金法则”

在提升计算机系统的可靠性及稳定性领域的杰出贡献

稿“The Present State of Research on Artificial Intelligence”，对人工智能领域的贡献

法，现代操作系统的奠基者之一

ran语言以及“巴克斯范式(BNF)”的发明者

义学、自动程序检验、自动程序综合和算法分析在内的多项计算机子学科

数据库之父，我们现在学的数据库都拜他所赐）

言之父，UNIX之父——丹尼斯·里奇去世，享年70岁。）

和结构化程序设计创始者。著名公式“程序 ＝ 数据结构 ＋ 算法”的提出者

超级计算机”的设计者、RISC（精简指令集计算）概念的首创者

计算机图形学之父

程系统、显示、安全和文档发布。微软首席技术官，Alto系统（第一个个人计算机系统，首次实现了图形用户界面）的首席科发明者以及超文本研究的先驱

拉斯·恩格尔巴特

（唯一的华人）

A I 和SIMULA 67中。（面向对象技术的先驱）

在网络方面卓越的领导

并行执行打下了基础

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

网）、多处理器工作站、窥探高速缓存一致性协议和平板PC等方面的重大发明和贡献。（现代PC之父——盖茨语）

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

贡献

实现了图形用户界面）的首席科学家

代PC之父——盖茨语）

算系统已经能够挑战人类回答问题的能力。