1966-2008 ACM图灵奖得主
原文出自：http://zh.wikipedia.org/wiki/%E5%9B%BE%E7%81%B5%E5%A5%96
推荐读物
1. ACM图灵奖官方网站
2. ACM图灵奖(1966-2006)第三版－计算机发展史的缩影. 高等教育出版社, 2008年
3. IEEE计算机先驱奖(1980-2006)第二版－计算机科学与技术中的发明史. 高等教育出版社, 2008年
附：55位图灵奖获得者全家福
图灵奖 （Turing Award），是美国计算机协会（ACM）于1966年设立的，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。其名称取自计算机科学的先驱、英国科学家阿兰·图灵，这个奖设立目的之一是纪念这位科学家。获奖者的贡献必须是在计算机领域具有持久而重大的技术先进性的。大多数获奖者是计算机科学家。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。图灵奖对获奖者的要求极高，评奖程序也极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。目前图灵奖由英特尔公司以及Google公司赞助，奖金为250,000美元。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。
1966-2008 历届图灵奖获得者
| 年份 | 中文译名 | 姓名 | 贡献领域 |
|---|---|---|---|
| 1966年 | 艾伦·佩利 | Alan J. Perlis | 高级程序设计 技巧，编译器 构造 |
| 1967年 | 莫里斯·威尔克斯 | Maurice V. Wilkes | 存储程序式计算机EDSAC , 程序库 |
| 1968年 | 理查德·卫斯里·汉明 | Richard Hamming | 数值方法，自动编码系统，错误检测和纠错码 |
| 1969年 | 马文·闵斯基 | Marvin Minsky | 人工智能 |
| 1970年 | 詹姆斯·维尔金森 | James H. Wilkinson | 数值分析，线性代数，“倒退”错误分析 |
| 1971年 | 约翰·麦卡锡 | John McCarthy | 人工智能 |
| 1972年 | 艾兹格·迪科斯彻 | Edsger Dijkstra | 程序设计语言 的科学与艺术 |
| 1973年 | 查理士·巴赫曼 | Charles W. Bachman | 数据库技术 |
| 1974年 | 高德纳 | Donald E. Knuth | 算法分析、程序设计语言的设计、程序设计 |
| 1975年 | 艾伦·纽厄尔 赫伯特·西蒙 |
Allen Newell Herbert A. Simon |
人工智能，人类认知心理学和列表处理 (list processing) |
| 1976年 | 迈克尔·拉宾 达纳·斯科特 |
Michael O. Rabin Dana S. Scott |
非确定性自动机 |
| 1977年 | 约翰·巴克斯 | John Backus | 高级编程系统，程序设计语言规范的形式化定义 |
| 1978年 | 罗伯特·弗洛伊德 | Robert W. Floyd | 设计高效可靠软件的方法学 |
| 1979年 | 肯尼斯·艾佛森 | Kenneth E. Iverson | 程序设计语言和数学符号，互动系统的设计，运用 APL进行教学，程序设计语言的理论与实践 |
| 1980年 | 安东尼·何珥 | C. Antony R. Hoare | 程序设计语言的定义与设计 |
| 1981年 | 埃德加·科德 | Edgar F. Codd | 数据库系统，尤其是关系型数据库 |
| 1982年 | 史提芬·古克 | Stephen A. Cook | 计算复杂度 |
| 1983年 | 肯·汤普逊 丹尼斯·里奇 |
Ken Thompson Dennis M. Ritchie |
UNIX 操作系统和C语言 |
| 1984年 | 尼古拉斯·沃斯 | Niklaus Wirth | 程序设计语言设计、程序设计 |
| 1985年 | 理查德·卡普 | Richard M. Karp | 算法理论，尤其是NP-完全性 理论 |
| 1986年 | 约翰·霍普克罗夫特 罗伯特·塔扬 |
John Hopcroft Robert Tarjan |
算法和数据结构的设计与分析 |
| 1987年 | 约翰·科克 | John Cocke | 编译理论，大型系统的体系结构，及精简指令集（RISC ）计算机的开发 |
| 1988年 | 伊凡·苏泽兰 | Ivan Sutherland | 计算机图形学 |
| 1989年 | 威廉·卡亨 | William (Velvel) Kahan | 数值分析 |
| 1990年 | 费尔南多·考巴托 | Fernando J. Corbató | CTSS 和 Multics |
| 1991年 | 罗宾·米尔纳 | Robin Milner | LCF ，ML语言 ，CCS |
| 1992年 | 巴特勒·兰普森 | Butler W. Lampson | 分布式，个人计算环境 |
| 1993年 | 尤里斯·哈特马尼斯 理查德·斯特恩斯 |
Juris Hartmanis Richard E. Stearns |
计算复杂度理论 |
| 1994年 | 爱德华·费根鲍姆 拉吉·瑞迪 |
Edward Feigenbaum Raj Reddy |
大规模人工智能系统 |
| 1995年 | 曼纽尔·布卢姆 | Manuel Blum | 计算复杂度理论，及其在密码学 和程序校验上的应用 |
| 1996年 | 艾米尔·伯努利 | Amir Pnueli | 时序逻辑 ，程序与系统验证 |
| 1997年 | 道格拉斯·恩格尔巴特 | Douglas Engelbart | 互动计算 |
| 1998年 | 詹姆斯·尼古拉·格雷 | James Gray | 数据库与事务处理 |
| 1999年 | 弗雷德里克·布鲁克斯 | Frederick P. Brooks, Jr. | 计算机体系结构 ，操作系统 ，软件工程 |
| 2000年 | 姚期智 | Andrew Chi-Chih Yao | 计算理论，包括伪随机数生成 ，密码学与通信复杂度 |
| 2001年 | 奥利-约翰·达尔 克利斯登·奈加特 |
Ole-Johan Dahl Kristen Nygaard |
面向对象编程 |
| 2002年 | 罗纳德·李维斯特 阿迪·萨莫尔 伦纳德·阿德曼 |
Ronald L. Rivest Adi Shamir Leonard M. Adleman |
公钥密码学 （RSA加密算法 ） |
| 2003年 | 阿伦·凯 | Alan Kay | 面向对象编程 |
| 2004年 | 文特·瑟夫 罗伯特·卡恩 |
Vinton G. Cerf Robert E. Kahn |
TCP/IP 协议 |
| 2005年 | 彼得·诺尔 | Peter Naur | Algol 60 语言 |
| 2006年 | 法兰西斯·艾伦 | Frances E. Allen | 优化编译器 |
| 2007年 [1] | 爱德蒙·克拉克 艾伦·爱默生 约瑟夫·斯发基斯 |
Edmund M. Clarke Allen Emerson Joseph Sifakis |
开发自动化方法检测计算机硬件和软件中的设计错误 |
| 2008年 | 芭芭拉·利斯科夫 | Barbara Liskov | 编程语言和系统设计的实践与理论 |