图灵奖
维基百科，自由的百科全书
图灵奖（Turing Award），是美国计算机协会（ACM）于1966年设立的，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。其名称取自计算机科学的先驱、英国科学家阿兰·图灵，这个奖设立目的之一是纪念这位科学家。获奖者的贡献必须是在计算机领域具有持久而重大的技术先进性的。大多数获奖者是计算机科学家。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。图灵奖对获奖者的要求极高，评奖程序也极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。目前图灵奖由英特尔公司赞助，奖金为100,000美元。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。
[编辑] 图灵奖获得者
| 年份 | 中文译名 | 姓名 | 贡献领域 |
|---|---|---|---|
| 1966年 | 艾伦·佩利 | Alan J. Perlis | 高级程序设计技巧，编译器构造 |
| 1967年 | 威尔克斯 | Maurice V. Wilkes | 内部存储程序, 程序库 |
| 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操作系统 |
| 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 | 开发自动化方法检测计算机硬件和软件中的设计错误 |
[编辑] 参考文献
- ^ “2007 Turing Award Winners Announced”，ddj，Œ� 04, 2008．于2008年2月5日查阅．
[编辑] 外部链接
1966年: 佩利 • 67年: 威尔克斯 • 68年: 漢明 • 69年: 閔斯基 • 70年: 维尔金森 • 71年: 麦卡锡 • 72年: 迪科斯彻 • 73年: 巴赫曼 • 74年: 高德納 • 75年: 纽威尔和 西蒙 • 76年: 拉宾和 斯科特 • 77年: 巴科斯 • 78年: 弗洛易德 • 79年: 艾佛森 • 80年: 何珥 • 81年: 科德 • 82年: 古克 • 83年: 湯普遜和 里奇 • 84年: 沃斯 • 85年: 卡普 • 86年: 霍普克罗夫特和 塔扬 • 87年: 科克 • 88年: 苏泽兰 • 89年: 卡亨 • 90年: 考巴托 • 91年: 米尔纳 • 92年: 兰普森 • 93年: 哈特马尼斯和 斯特恩斯 • 94年: 费根鲍姆和 瑞迪 • 95年: 布卢姆 • 96年: 伯努利 • 97年: 恩格尔巴特 • 98年: 格雷 • 99年: 布鲁克斯 • 2000年: 姚期智 • 01年: 达尔和 奈加特 • 02年: 李维斯特、萨莫尔和 阿德曼 • 03年: 凯 • 04年: 科夫和 卡恩 • 05年: 诺尔 • 06年: 艾伦 • 07年: 克拉克、爱默生和 斯发基斯
