图灵奖

奖项介绍

图灵奖（Turing Award），全称A.M.图灵奖（A.M Turing Award），是由美国计算机协会（ACM）于1966年设立的计算机奖项，名称取自艾伦·麦席森·图灵（Alan M. Turing），旨在奖励对计算机事业作出重要贡献的个人。图灵奖对获奖条件要求极高，评奖程序极严，一般每年仅授予一名计算机科学家。图灵奖是计算机领域的国际最高奖项，被誉为“计算机界的诺贝尔奖”。

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

评审制度

每年，美国计算机协会将要求领域内专家提名本年度的图灵奖候选人，并在附加的推荐信中说明推荐理由。任何人都可成为提名人。美国计算机协会将组成评选委员会，对被提名者进行严格的评审，并最终确定当年的获奖者。

获奖名单

图灵奖得主分布在几十个领域，排在前六的领域有：编译原理、程序设计语言、计算复杂性理论、人工智能、密码学、数据库。在某种意义上可大致认为，前三个领域与计算机科学本身更密切一些，后三个领域与军民应用更密切一些。

年份

中文译名

姓名

贡献领域/获奖理由

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

人工智能，人类认知心理学和列表处理（list processing）

赫伯特·西蒙

Herbert A. Simon

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

UNⅨ操作系统和C语言

丹尼斯·里奇

Dennis M. Ritchie

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 Phillips Brooks，Jr．

计算机体系结构，操作系统，软件工程

2000年

姚期智

Andrew Chi-Chih Yao

计算理论，包括伪随机数生成，密码学与通信复杂度

2001年

奥利-约翰·达尔

Ole-Johan Dahl

面向对象编程

克利斯登·奈加特

Kristen Nygaard

2002年

罗纳德·李维斯特

Ronald L. Rivest

公钥密码学（RSA加密算法）

阿迪·萨莫尔

Adi Shamir

伦纳德·阿德曼

Leonard M. Adleman

2003年

艾伦·凯

Alan Kay

面向对象编程

2004年

文特·瑟夫

Vinton G. Cerf

TCP/IP协议

罗伯特·卡恩

Robert E. Kahn

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

非对称加密的创始人

马丁·赫尔曼

Martin Hellman

2016年

蒂姆·伯纳斯·李

Tim Berners-Lee

万维网的发明者

2017年

约翰·轩尼诗

John Hennessy

开发了RISC微处理器并且让这一概念流行起来的工程

大卫·帕特森

David Patterson

2018年

约舒亚·本希奥

Yoshua Bengio

在人工智能深度学习方面的贡献

杰弗里·欣顿

Geoffrey Hinton

扬·莱坎

Yann LeCun

2019年

帕特里克·汉拉汗

Patrick M. Hanrahan

对3D计算机图形学的贡献，以及这些技术对电影制作和计算机生成图像（CGI）等应用的革命性影响

艾德文·卡特姆

Edwin E. Catmull

2020年

杰弗里·戴维·乌尔曼

Jeffrey David Ullman

创造了全球数百万编程人员使用的工具和教材，推进编程语言实现的基础算法和理论，并在极具影响力的书籍中综述了这些研究成果

阿尔佛雷德·艾侯

Alfred Vaino Aho

高校获奖

截至2021年4月，按图灵奖得主数量（校友、教职工以及研究人员），世界前10名高校名单如下：

排名

大学名称

地区

获奖人数

1

斯坦福大学

美国

29人

2

麻省理工学院

美国

26人

3

加利福尼亚大学伯克利分校

美国

25人

4

普林斯顿大学

美国

16人

5

哈佛大学

美国

14人

6

卡耐基梅隆大学

美国

13人

7

纽约大学

美国

8人

8

剑桥大学

英国

7人

9（并列）

加州理工学院

美国

6人

9（并列）

密歇根大学

美国

6人

9（并列）

牛津大学

英国

6人

创始人物

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

二战结束后，图灵因同性恋倾向在当时的英国遭受歧视，被政府定罪，被迫接受“治疗”，职业生涯结束。1952年，图灵因同性恋倾向被定为严重猥亵罪，职业生涯就此毁掉。1954年，图灵死亡。

直到2013年12月24日，英国司法部长宣布：图灵当时受到的判决“不公，有歧视”，现已获得女王伊丽莎白二世的赦免，称“女王的赦免是对这位优秀人物的献礼”。同时，英国前首相卡梅伦表示：“图灵在二战时破解德军密码、拯救国家上发挥了关键作用，是一个了不起的人”。