图灵奖

图灵奖（Turing Award），全称“A.M. 图灵奖（A.M Turing Award）”，由美国计算机协会（ACM）于1966年设立，专门奖励那些对计算机事业作出重要贡献的个人。^[1-2] 其名称取自计算机科学的先驱、英国科学家艾伦·麦席森·图灵（Alan M. Turing）。^[1] 由于图灵奖对获奖条件要求极高，评奖程序又是极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。因此它是计算机界最负盛名、最崇高的一个奖项，有“计算机界的诺贝尔奖”之称。^[1]

每一年的图灵奖一般在下一年的3月下旬颁发，从1966年至2019年的图灵奖共授予了72名获奖者。^[1-2] 按国籍分，美国学者最多，欧洲学者偶见之，华人学者目前仅有2000年图灵奖得主姚期智（现在清华大学、香港中文大学）。^[3] 据相关资料统计，截止至2020年3月，世界各高校的校友、教授以及研究人员中，美国斯坦福大学的图灵奖人数位列世界第一（28位）、美国麻省理工学院（26位）位列世界第二、美国加州大学伯克利分校（25位）位列世界第三^[2] ；美国哈佛大学（14位）、美国普林斯顿大学（14位）并列世界第四^[2] 。

2020年3月18日，国际计算机协会宣布，Patrick M. Hanrahan和 Edwin E. Catmull为2019年图灵奖获得者。^[4]

中文名: 图灵奖
外文名: A.M. Turing Award
设立时间: 1966年
奖励对象: 对计算机事业作出重要贡献的个人

奖金: 1,000,000美元
美称: 计算机界的诺贝尔奖
评选机构: 美国计算机协会（ACM）
颁奖时间: 每年3月下旬

图灵奖历史沿革

编辑

图灵奖

图灵奖是美国计算机协会于1966年设立的，又叫"A.M.图灵奖"，专门奖励那些对计算机事业作出重要贡献的个人。其名称取自计算机科学的先驱、英国科学家艾伦·图灵，这个奖设立目的之一是纪念这位科学家。

图灵奖对获奖者的要求极高，评奖程序极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名在同一方向上做出贡献的科学家同时获奖。因此，尽管“图灵”的奖金数额不算高，但它却是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。

从1966年至2018年共计有70名科学家获此殊荣^[1] ，其中美国学者最多，此外还有英国、瑞士、荷兰、以色列等国少数学者。截止至2018年，获此殊荣的华人仅有1位，他是2000年图灵奖得主姚期智。^[1]

据相关资料统计，截止2019年3月，美国斯坦福大学的图灵奖人数（校友或教职工）位列世界第一（27位）、美国麻省理工学院（26位）位列世界第二、美国加州大学伯克利分校位列世界第三（25位）；哈佛大学（14位）和卡耐基梅隆大学（13位）、普林斯顿大学（13位）分列世界第四和第五名。

^[5]

图灵奖获奖条件

编辑

由于图灵奖对获奖条件要求极高，评奖程序又是极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。因此它是计算机界最负盛名、最崇高的一个奖项，有“计算机界的诺贝尔奖”之称。

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

图灵奖奖金金额

编辑

奖金金额不算太高，设奖初期为20万美元，1989年起增到25万美元，奖金通常由计算机界的一些大企业提供（通过与ACM签订协议）。目前图灵奖由Google公司赞助，奖金为1,000,000美元。

图灵奖历届得主

编辑

从1966年至2018年共70名得主^[1] ，按国籍分，美国学者最多，欧洲学者偶见之，华人学者目仅有2000年图灵奖得主姚期智（2005年出任香港中文大学博文讲座教授；2011年担任清华大学交叉信息研究院院长，2017年转为中国科学院院士）。

70名得主分布在几十个小领域，排在前六的领域有：编译原理、程序设计语言，计算复杂性理论，人工智能，密码学，以及数据库（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	由于在密码学和复杂理论领域做出创举性工作^[7-8]
2013年	莱斯利·兰伯特	Leslie Lamport	在提升计算机系统的可靠性及稳定性领域的杰出贡献^[9]
2014年	迈克尔·斯通布雷克	Michael Stonebraker	对现代数据库系统底层的概念与实践所做出的基础性贡献^[10]
2015年	惠特菲尔德·迪菲马丁·赫尔曼	Whitfield Diffie Martin Hellman	这两个人是非对称加密的创始人
2016年	蒂姆·伯纳斯·李	Tim Berners-Lee	万维网的发明者^[11]
2017年	约翰·轩尼诗大卫·帕特森	John Hennessy David Patterson	开发了RISC微处理器并且让这一概念流行起来的工程^[12]
2018年	约舒亚·本希奥杰弗里·欣顿扬·莱坎	Yoshua Bengio Geoffrey Hinton 　　Yann LeCun	因在人工智能深度学习方面的贡献^[13]
2019年	—— 艾德文·卡特姆	Patrick M. Hanrahan Edwin E. Catmull	对3D计算机图形学的贡献，以及这些技术对电影制作和计算机生成图像（CGI）等应用的革命性影响^[4]

图灵奖高校得主

编辑

图灵奖（Turing Award）自1966年首次颁发，每一年的图灵奖一般在下一年的3月下旬颁发；截止至2019年的图灵奖，共授予了72位个人。^[1] 据相关资料统计，截止2020年3月，按图灵奖得主数量（校友、教职工以及研究人员），世界前10名高校名单如下^[1] ：

排名	大学名称	地区	图灵奖人数
1	斯坦福大学	美国	28人
2	麻省理工学院	美国	26人
3	加州大学伯克利分校	美国	25人
4（并列）	哈佛大学	美国	14人
4（并列）	普林斯顿大学	美国	14人
6	卡耐基梅隆大学	美国	13人
7	纽约大学	美国	8人
8	剑桥大学	英国	7人
9（并列）	加州理工学院	美国	6人
9（并列）	密歇根大学	美国	6人
9（并列）	牛津大学	英国	6人

图灵奖图灵简介

编辑

艾伦·麦席森·图灵（Alan Mathison Turing，1912年6月23日－1954年6月7日），英国数学家、逻辑学家，被称为计算机之父，人工智能之父。1931年图灵进入剑桥大学国王学院，毕业后到美国普林斯顿大学攻读博士学位，二战爆发后回到剑桥，后曾协助军方破解德国的著名密码系统Enigma，帮助盟军取得了二战的胜利。图灵对于人工智能的发展有诸多贡献，提出了一种用于判定机器是否具有智能的试验方法，即图灵试验，至今，每年都有试验的比赛。此外，图灵提出的著名的图灵机模型为现代计算机的逻辑工作方式奠定了基础。

二战结束后，图灵因同性恋倾向在当时的英国遭受歧视，被政府定罪，被迫接受”治疗“，职业生涯结束，

1954年6月7日，图灵被发现死于家中的床上，床头放着一个被咬了一口的苹果，其中含有氰化物，警方调查后结论为服毒自杀。直到2013年12月24日，英国司法部长宣布：图灵当时受到的判决”不公，有歧视“，现已获得女王伊丽莎白二世的赦免，称“女王的赦免是对这位优秀人物的献礼”。同时，英国前首相卡梅伦表示：图灵在二战时破解德军密码、拯救国家上发挥了关键作用，是一个“了不起的人”。