图灵奖（Turing Award），全称“A.M. 图灵奖（A.M Turing Award）”，由美国计算机协会（ACM）于1966年设立，专门奖励那些对计算机事业作出重要贡献的个人。其名称取自计算机科学的先驱、英国科学家艾伦·麦席森·图灵（Alan M. Turing）。由于图灵奖对获奖条件要求极高，评奖程式又是极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。因此它是计算机界最负盛名、最崇高的一个奖项，有“计算机界的诺贝尔奖”之称。
每一年的图灵奖一般在下一年的4月初颁发，从1966年至今共67名获奖者，按国籍分，美国学者最多，欧洲学者偶见之，华人学者目前仅有2000年图灵奖得主姚期智（现在清华大学、香港中文大学）。据相关资料统计，截止2018年，美国史丹福大学的图灵奖人数（校友或教职工）位列世界第一（27位），美国麻省理工学院（25位）、美国加州大学伯克利分校（25位）并列世界第二；哈佛大学（14位）和普林斯顿大学（13位）分列世界第四和第五名。
基本介绍
- 中文名：图灵奖
- 外文名：A.M. Turing Award
- 设立时间：1966年
- 奖励对象：对计算机事业作出重要贡献的个人
- 奖金：1,000,000美元
- 美称：计算机界的诺贝尔奖
- 评选机构：美国计算机协会（ACM）
历史沿革
图灵奖是美国计算机协会于1966年设立的，又叫"A.M.图灵奖"，专门奖励那些对计算机事业作出重要贡献的个人。其名称取自计算机科学的先驱、英国科学家艾伦·图灵，这个奖设立目的之一是纪念这位科学家。
图灵奖
图灵奖图灵奖对获奖者的要求极高，评奖程式极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名在同一方向上做出贡献的科学家同时获奖。因此，儘管“图灵”的奖金数额不算高，但它却是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。
从1966年至今总计有67名科学家获此殊荣，其中美国学者最多，此外还有英国、瑞士、荷兰、以色列等国少数学者。
截止至2018年，获此殊荣的华人仅有1位，他是2000年图灵奖得主姚期智。据相关资料统计，截止2018年，美国史丹福大学的图灵奖人数（校友或教职工）位列世界第一（27位），美国麻省理工学院（25位）、美国加州大学伯克利分校并列世界第二（25位）；哈佛大学（14位）和普林斯顿大学（13位）分列世界第四和第五名。
2017年5月3日报导，ACM图灵奖五十周年中国大会组委会筹备会议在百度科技园成功举办。百度与图灵奖将继续开展深入交流，探索合作机会，为中国同世界在技术的合作和人才的交流搭建沟通桥樑，共同推动网际网路行业的发展。
获奖条件
由于图灵奖对获奖条件要求极高，评奖程式又是极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。因此它是计算机界最负盛名、最崇高的一个奖项，有“计算机界的诺贝尔奖”之称。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什幺应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会,对被提名者进行严格的评审，并最终确定当年的获奖者。
奖金金额
奖金金额不算太高，设奖初期为20万美元，1989年起增到25万美元，奖金通常由计算机界的一些大企业提供（通过与ACM签订协定）。目前图灵奖由Google公司赞助，奖金为1,000,000美元。
历届得主
从1966年至今共67名得主，按国籍分，美国学者最多，欧洲学者偶见之，华人学者目仅有2000年图灵奖得主姚期智（现在清华大学、香港中文大学）。
67名得主分布在几十个小领域，排在前六的领域有：编译原理、程式设计语言，计算複杂性理论，人工智慧，密码学，以及资料库（4名）。在某种意义上，可大致认为，前三个领域与计算机科学本身更密切一些，后三个领域与军民套用更密切一些。
| 年份 | 中文译名 | 姓名 | 贡献领域 |
|---|---|---|---|
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 | UNⅨ作业系统和C语言 |
1984年 | 尼古拉斯·沃斯 | Niklaus Wirth | 程式设计语言设计、程式设计 |
1985年 | 理察·卡普 | Richard M. Karp | 算法理论，尤其是NP-完全性理论 |
1986年 | 约翰·霍普克罗夫特 罗伯特·塔扬 | John Hopcroft Robert Tarjan | 算法和数据结构的设计与分析 |
1987年 | 约翰·科克 | John Cocke | 编译理论，大型系统的体系结构，及精简指令集（RISC）计算机的开发 |
1988年 | 伊凡·苏泽兰 | Ivan Sutherland | 计算机图形学 |
1989年 | 威廉·卡亨 | William Morton 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年 | 爱德蒙·克拉克 艾伦·爱默生 约瑟夫·斯发基斯 | Edmund M. Clarke Allen Emerson Joseph Sifakis | 开发自动化方法检测计算机硬体和软体中的设计错误 |
2008年 | 芭芭拉·利斯科夫 | Barbara Liskov | 程式语言和系统设计的实践与理论 |
2009年 | 查尔斯·萨克尔 | Charles Thacker | 帮助设计、製造第一款现代PC |
2010年 | 莱斯利·瓦伦特 | Leslie Valiant | 对众多计算理论所做的变革性的贡献 |
2011年 | 犹大·伯尔 | Judea Pearl | 人工智慧 |
2012年 | 莎菲·戈德瓦塞尔 希尔维奥·米卡利 | Shafi Goldwasser Silvio Micali | 由于在密码学和複杂理论领域做出创举性工作 |
2013年 | 莱斯利·兰伯特 | Leslie Lamport | 在提升计算机系统的可靠性及稳定性领域的杰出贡献 |
2014年 | 麦可·斯通布雷克 | Michael Stonebraker | 对现代资料库系统底层的概念与实践所做出的基础性贡献 |
2015年 | 惠特菲尔德·迪菲 马丁·赫尔曼 | Whitfield Diffie and Martin Hellman | 这两个人是非对称加密的创始人 |
2016年 | 蒂姆·伯纳斯·李 | Tim Berners-Lee | 全球资讯网的发明者 |
2017年 | 约翰·轩尼诗 大卫·帕特森 | John Hennessy David Patterson | 开发了RISC微处理器并且让这一概念流行起来的工程 |
2018年 | 约舒亚·本希奥 杰弗里·欣顿 扬·莱坎 | Yoshua Bengio Geoffrey Hinton Yann LeCun | 因在人工智慧深度学习方面的贡献 |
各高校图灵奖得主
图灵奖（Turing Award）自1966年首次颁发，截止2018年共授予了67位个人。据相关资料统计，截止2018年，按图灵奖得主数量（校友、教职工以及研究人员），前10名高校名单如下：
| 排名 | 大学名称 | 地区 | 图灵奖人数 |
|---|---|---|---|
1 | 史丹福大学 | 美国 | 27人 |
2（并列） | 麻省理工学院 | 美国 | 25人 |
2（并列） | 加州大学伯克利分校 | 美国 | 25人 |
4 | 哈佛大学 | 美国 | 14人 |
5 | 普林斯顿大学 | 美国 | 13人 |
6 | 卡耐基梅隆大学 | 美国 | 12人 |
7 | 纽约大学 | 美国 | 7人 |
8（并列） | 加州理工学院 | 美国 | 6人 |
8（并列） | 剑桥大学 | 英国 | 6人 |
8（并列） | 密西根大学 | 美国 | 6人 |
8（并列） | 牛津大学 | 英国 | 6人 |
图灵简介
艾伦·麦席森·图灵（Alan Mathison Turing，1912年6月23日－1954年6月7日），英国数学家、逻辑学家，被称为计算机之父，人工智慧之父。1931年图灵进入剑桥大学国王学院，毕业后到美国普林斯顿大学攻读博士学位，二战爆发后回到剑桥，后曾协助军方破解德国的着名密码系统Enigma，帮助盟军取得了二战的胜利。图灵对于人工智慧的发展有诸多贡献，提出了一种用于判定机器是否具有智慧型的试验方法，即图灵试验，至今，每年都有试验的比赛。此外，图灵提出的着名的图灵机模型为现代计算机的逻辑工作方式奠定了基础。
二战结束后，图灵因同性恋倾向在当时的英国遭受歧视，被政府定罪，被迫接受”治疗“，职业生涯结束，1954年6月7日，图灵被发现死于家中的床上，床头放着一个被咬了一口的苹果，其中含有氰化物，警方调查后结论为服毒自杀。直到2013年12月24日，英国法务部长宣布：图灵当时受到的判决”不公，有歧视“，现已获得女王伊莉莎白二世的赦免，称“女王的赦免是对这位优秀人物的献礼”。同时，英国前首相卡梅伦表示：图灵在二战时破解德军密码、拯救国家上发挥了关键作用，是一个“了不起的人”。
着作
⒈《论可计算数及其在判定问题上的套用》（On Computable Numbers,with an Application to the Entscheidungsproblem）（1936年5月28日）
⒉超计算（hypercomputation）的概念
⒊《形态发生的化学基础》(The Chemical Basis of Morphogenesis)（1952年）
⒋一九八三年另一位同性恋的牛津数学家安德鲁．哈吉斯(Andrew Hodges），替他写了一本脍炙人口的传记《谜样的图灵》（Alan Turing: The Enigma），
⒌图灵死后——1992年《艾伦·图灵选集》