圖靈獎

獎項介紹

圖靈獎（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日，英國司法部長宣布：圖靈當時受到的判決“不公，有歧視”，現已獲得女王伊麗莎白二世的赦免，稱“女王的赦免是對這位優秀人物的獻禮”。同時，英國前首相卡梅倫表示：“圖靈在二戰時破解德軍密碼、拯救國家上發揮了關鍵作用，是一個了不起的人”。