历届图灵奖得主

图灵奖（Turing Award），是美国计算机协会（ACM）于1966年设立的，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。其名称取自计算机科学的先驱、英国科学家阿兰·图灵，这个奖设立目的之一是纪念这位科学家。获奖者的贡献必须是在计算机领域具有持久而重大的技术先进性的。大多数获奖者是计算机科学家。

图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。图灵奖对获奖者的要求极高，评奖程序也极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。目前图灵奖由英特尔公司以及Google公司赞助，奖金为250,000美元。

每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。


年份 中文译名 姓名 贡献领域
1966年 艾伦·佩利 en:Alan J. Perlis 高级程序设计技巧，编译器构造
1967年 莫里斯·威尔克斯 en:Maurice V. Wilkes 存储程序式计算机EDSAC, 程序库
1968年 理查德·衛斯里·漢明 en:Richard Hamming 数值方法，自动编码系统，错误检测和纠错码
1969年 马文·闵斯基 en:Marvin Minsky 人工智能
1970年 詹姆斯·维尔金森 en:James H. Wilkinson 数值分析，线性代数，“倒退”错误分析
1971年 约翰·麦卡锡 en:John McCarthy 人工智能
1972年 艾兹格·迪科斯彻 en:Edsger Dijkstra 程序设计语言的科学与艺术
1973年 查理士·巴赫曼 en:Charles W. Bachman 数据库技术
1974年 高德纳 en:Donald E. Knuth 算法分析和编程语言的设计
1975年 艾伦·纽厄尔  赫伯特·西蒙 en:Allen Newell  en:Herbert A. Simon 人工智能，人类认知心理学和列表处理 (list processing)
1976年 迈克尔·拉宾  达纳·斯科特 en:Michael O. Rabin  en:Dana S. Scott 非确定性自动机
1977年 约翰·巴克斯 en:John Backus 高级编程系统，程序设计语言规范的形式化定义
1978年 罗伯特·弗洛伊德 en:Robert W. Floyd 设计高效可靠软件的方法学
1979年 肯尼斯·艾佛森 en:Kenneth E. Iverson 程序设计语言和数学符号，互动系统的设计，运用 APL进行教学，程序设计语言的理论与实践
1980年 安东尼·何珥 en:C. Antony R. Hoare 程序设计语言的定义与设计
1981年 埃德加·科德 en:Edgar F. Codd 数据库系统，尤其是关系型数据库
1982年 史提芬·古克 en:Stephen A. Cook 计算复杂度
1983年 肯·汤普逊 丹尼斯·里奇 en:Ken Thompson  en:Dennis M. Ritchie 通用的操作系统理论，实现UNIX操作系统
1984年 尼古拉斯·沃斯 en:Niklaus Wirth 计算机语言设计
1985年 理查德·卡普 en:Richard M. Karp 算法理论，尤其是NP-完全性理论
1986年 约翰·霍普克罗夫特 罗伯特·塔扬 en:John Hopcroft  en:Robert Tarjan 算法和数据结构的设计与分析
1987年 约翰·科克 en:John Cocke 编译理论，大型系统的体系结构，及精简指令集（RISC）计算机的开发
1988年 伊凡·苏泽兰 en:Ivan Sutherland 计算机图形学
1989年 威廉·卡亨 en:William (Velvel) Kahan 数值分析
1990年 费尔南多·考巴托 en:Fernando J. Corbató CTSS和 Multics
1991年 罗宾·米尔纳 en:Robin Milner LCF，ML語言，CCS
1992年 巴特勒·兰普森 en:Butler W. Lampson 分布式，个人计算环境
1993年 尤里斯·哈特马尼斯 理查德·斯特恩斯 en:Juris Hartmanis  en:Richard E. Stearns 计算复杂度理论
1994年 爱德华·费根鲍姆  拉吉·瑞迪 en:Edward Feigenbaum   en:Raj Reddy 大规模人工智能系统
1995年 曼纽尔·布卢姆 en:Manuel Blum 计算复杂度理论，及其在密码学和程序校验上的应用
1996年 艾米尔·伯努利 en:Amir Pnueli 时序逻辑，程序与系统验证
1997年 道格拉斯·恩格尔巴特 en:Douglas Engelbart 互动计算
1998年 詹姆斯·尼古拉·格雷 en:James Gray 数据库与事务处理
1999年 弗雷德里克·布鲁克斯 en:Frederick P. Brooks, Jr. 计算机体系结构，操作系统，软件工程
2000年 姚期智 姚期智 en:Andrew Chi-Chih Yao 计算理论，包括伪随机数生成，密码学与通信复杂度
2001年 奥利-约翰·达尔  克利斯登·奈加特 en:Ole-Johan Dahl   en:Kristen Nygaard 面向对象编程
2002年 罗纳德·李维斯特  阿迪·萨莫尔  伦纳德·阿德曼 en:Ronald L. Rivest   en:Adi Shamir   en:Leonard M. Adleman 公钥密码学（RSA加密演算法）
2003年 阿伦·凯 en:Alan Kay 面向对象编程
2004年 文特·瑟夫  罗伯特·卡恩 en:Vinton G. Cerf   en:Robert E. Kahn TCP/IP协议
2005年 彼得·诺尔 en:Peter Naur Algol 60语言

获奖原因：由于在设计Algol60程序设计语言上的贡献。Algol60语言定义清晰，是许多现代程序设计语言的原型。
2006年 法蘭西斯·艾倫 en:Frances E. Allen 優化編譯器

获奖原因: 因为在编译器优化的理论和实践方面做出的开创性贡献而获奖。她的工作奠定了现代优化编译器和自动并行化执行的基础。(第一个女获奖者)

2007年 爱德蒙·克拉克  艾伦·爱默生   约瑟夫·斯发基斯 en:Edmund M. Clarke   en:Allen Emerson   en:Joseph Sifakis 开发自动化方法检测计算机硬件和软件中的设计错误