图灵奖（A.M. Turing Award，又译“杜林奖”），由美国计算机协会（ACM）于1966年设立，又叫“A.M.图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。其名称取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。由于图灵奖对获奖条件要求极高，评奖程序又是极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。因此它是计算机界最负盛名、最崇高的一个奖项，有“计算机界的**奖”之称。
奖金金额不算太高，设奖初期为2万美元，1989年起增到2万5千美元，奖金通常由计算机界的一些大企业提供（通过与ACM签订协议）。目前图灵奖由英特尔公司和google公司赞助，奖金为250,000美元。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。
从1966年到2011年的46届图灵奖，共计有58名科学家获此殊荣，其中美国学者最多，此外还有英国、瑞士、荷兰、以色列等国少数学者。
截止至2011年，获此殊荣的华人仅有一位，他是2000年图灵奖得主姚期智。
最新一届图灵奖得主是：沙菲·戈德瓦塞尔西尔维·奥麦克林。由于在密码学和复杂理论领域做出创举性工作获得2012年图灵奖。
截止至2011年，获此殊荣的华人仅有一位，他是2000年图灵奖得主姚期智。
最新一届图灵奖得主是：沙菲·戈德瓦塞尔西尔维·奥麦克林。由于在密码学和复杂理论领域做出创举性工作获得2012年图灵奖。
图
历届图灵奖获得者
|
年份
|
中文译名
|
姓名
|
贡献领域
|
|---|---|---|---|
|
Alan J. Perlis
|
|||
|
Maurice V. Wilkes
|
|||
|
Richard Hamming
|
数值方法，自动编码系统，错误检测和纠错码
|
||
|
Marvin Minsky
|
|||
|
James H. Wilkinson
|
|||
|
人工智能
|
|||
|
Edsger Dijkstra
|
程序设计语言的科学与艺术
|
||
|
Charles W. Bachman
|
|||
|
算法分析、程序设计语言的设计、程序设计
|
|||
|
Herbert A. Simon
|
人工智能，人类认知心理学和列表处理 (list processing)
|
||
|
Michael O. Rabin
Dana S. Scott
|
非确定性自动机
|
||
|
高级编程系统，程序设计语言规范的形式化定义
|
|||
|
Robert W. Floyd
|
设计高效可靠软件的方法学
|
||
|
Kenneth E. Iverson
|
程序设计语言和数学符号，互动系统的设计，运用 APL进行教学，程序设计语言的理论与实践
|
||
|
C. Antony R. Hoare
|
程序设计语言的定义与设计
|
||
|
Edgar F. Codd
|
数据库系统，尤其是关系型数据库
|
||
|
Stephen A. Cook
|
计算复杂度
|
||
|
UNⅨ操作系统和C语言
|
|||
|
程序设计语言设计、程序设计
|
|||
|
Richard M. Karp
|
算法理论，尤其是NP-完全性理论
|
||
|
约翰·霍普克罗夫特
|
Robert Tarjan
|
算法和数据结构的设计与分析
|
|
|
编译理论，大型系统的体系结构，及精简指令集（RISC）计算机的开发
|
|||
|
1989年
|
威廉·卡亨
|
William Morton Kahan
|
|
|
费尔南多·考巴托
|
Fernando J. Corbató
|
||
|
Robin Milner
|
|||
|
Butler W. Lampson
|
分布式，个人计算环境
|
||
|
尤里斯·哈特马尼斯
理查德·斯特恩斯
|
Juris Hartmanis
Richard E. Stearns
|
计算复杂度理论
|
|
|
拉吉·瑞迪
|
Edward Feigenbaum
Raj Reddy
|
大规模人工智能系统
|
|
|
曼纽尔·布卢姆
|
Manuel Blum
|
计算复杂度理论，及其在密码学和程序校验上的应用
|
|
|
Amir Pnueli
|
|||
|
互动计算
|
|||
|
James Gray
|
数据库与事务处理
|
||
|
弗雷德里克·布鲁克斯
|
Frederick P. Brooks,Jr.
|
||
|
Andrew Chi-Chih Yao
|
计算理论，包括伪随机数生成，密码学与通信复杂度
|
||
|
Ole-Johan Dahl
Kristen Nygaard
|
|||
|
阿迪·萨莫尔
伦纳德·阿德曼
|
|||
|
TCP/IP协议
|
|||
|
Peter Naur
|
Algol 60语言
|
||
|
法兰西斯·艾伦
|
优化编译器
|
||
|
艾伦·爱默生
约瑟夫·斯发基斯
|
Edmund M. Clarke
Allen Emerson
Joseph Sifakis
|
开发自动化方法检测计算机硬件和软件中的设计错误
|
|
|
芭芭拉·利斯科夫
|
编程语言和系统设计的实践与理论
|
||
|
Charles Thacker
|
帮助设计、制造第一款现代PC
|
||
|
莱斯利·瓦伦特
|
对众多计算理论所做的变革性的贡献
|
||
|
2011年
|
犹大·伯尔
|
Judea Pearl
|
人工智能
|
| 2012年 |
沙菲·戈德瓦塞
尔
西尔维·奥麦克林
|
Shafi Goldwasser
Silvio Micali
|
由于在密码学和复杂理论领域做出创举性工作 |
