圖靈獎（Turing Award），全稱A.M.圖靈獎（ACM A.M Turing Award），是由美國計算機(jī)協(xié)會（ACM）于1966年設(shè)立的計算機(jī)獎項(xiàng)，名稱取自艾倫·麥席森·圖靈（Alan M.Turing），旨在獎勵對計算機(jī)事業(yè)作出重要貢獻(xiàn)的個人。圖靈獎對獲獎條件要求極高，評獎程序極嚴(yán)，一般每年僅授予一名計算機(jī)科學(xué)家。圖靈獎是計算機(jī)領(lǐng)域的國際最高獎項(xiàng)，被譽(yù)為“計算機(jī)界的諾貝爾獎”。

圖靈獎一般在每年3月下旬頒發(fā)。從1966年至2020年，圖靈獎共授予74名獲獎?wù)撸悦绹?、歐洲科學(xué)家為主。2000年，中國科學(xué)家姚期智獲圖靈獎，這是中國人首次也是唯一一次獲得圖靈獎。2022年3月30日，美國計算機(jī)協(xié)會（ACM）公布了2021年度圖靈獎獲獎?wù)?。美國田納西大學(xué)電氣工程和計算機(jī)科學(xué)系教授Jack J.Dongarra因?qū)?shù)字算法和庫的開創(chuàng)性貢獻(xiàn)摘得這一榮譽(yù)。

截至2021年4月，世界各高校的圖靈獎獲獎人數(shù)依次為美國斯坦福大學(xué)（29位）、美國麻省理工學(xué)院（26位）、美國加利福尼亞大學(xué)伯克利分校（25位）、美國普林斯頓大學(xué)（16位）、美國哈佛大學(xué)（14位）。

獎項(xiàng)介紹

圖靈獎（Turing Award），全稱A.M.圖靈獎（A.M Turing Award），是由美國計算機(jī)協(xié)會（ACM）于1966年設(shè)立的計算機(jī)獎項(xiàng)，名稱取自艾倫·麥席森·圖靈（Alan M.Turing），旨在獎勵對計算機(jī)事業(yè)作出重要貢獻(xiàn)的個人。圖靈獎對獲獎條件要求極高，評獎程序極嚴(yán)，一般每年僅授予一名計算機(jī)科學(xué)家。圖靈獎是計算機(jī)領(lǐng)域的國際最高獎項(xiàng)，被譽(yù)為“計算機(jī)界的諾貝爾獎”。

圖靈獎的獎金在設(shè)獎初期為20萬美元，1989年起增到25萬美元。獎金通常由計算機(jī)界的一些大企業(yè)提供（通過與ACM簽訂協(xié)議）。圖靈獎獎金由Google公司贊助，為1,000,000美元。

評審制度

每年，美國計算機(jī)協(xié)會將要求領(lǐng)域內(nèi)專家提名本年度的圖靈獎候選人，并在附加的推薦信中說明推薦理由。任何人都可成為提名人。美國計算機(jī)協(xié)會將組成評選委員會，對被提名者進(jìn)行嚴(yán)格的評審，并最終確定當(dāng)年的獲獎?wù)摺?/p>

獲獎名單

圖靈獎得主分布在幾十個領(lǐng)域，排在前六的領(lǐng)域有：編譯原理、程序設(shè)計語言、計算復(fù)雜性理論、人工智能、密碼學(xué)、數(shù)據(jù)庫。在某種意義上可大致認(rèn)為，前三個領(lǐng)域與計算機(jī)科學(xué)本身更密切一些，后三個領(lǐng)域與軍民應(yīng)用更密切一些。

年份 中文譯名 姓名 貢獻(xiàn)領(lǐng)域/獲獎理由

1966年 艾倫·佩利 Alan J. Perlis 高級程序設(shè)計技巧，編譯器構(gòu)造

1967年 莫里斯·威爾克斯 Maurice V. Wilkes 存儲程序式計算機(jī)EDSAC，程序庫

1968年 理查德·衛(wèi)斯里·漢明 Richard Hamming 數(shù)值方法，自動編碼系統(tǒng)，錯誤檢測和糾錯碼

1969年 馬文·明斯基 Marvin Minsky 人工智能

1970年 詹姆斯·維爾金森 James H. Wilkinson 數(shù)值分析，線性代數(shù)，倒退錯誤分析

1971年 約翰·麥卡錫 John McCarthy 人工智能

1972年 艾茲格·迪科斯徹 Edsger Dijkstra 程序設(shè)計語言的科學(xué)與藝術(shù)

1973年 查理士·巴赫曼 Charles W. Bachman 數(shù)據(jù)庫技術(shù)

1974年 高德納 Donald E. Knuth 算法分析、程序設(shè)計語言的設(shè)計、程序設(shè)計

1975年 艾倫·紐厄爾 Allen Newell 人工智能，人類認(rèn)知心理學(xué)和列表處理（list processing）

赫伯特·西蒙 Herbert A. Simon

1976年 邁克爾·拉賓 Michael O. Rabin 非確定性自動機(jī)

達(dá)納·斯科特 Dana S. Scott

1977年 約翰·巴克斯 John Backus 高級編程系統(tǒng)，程序設(shè)計語言規(guī)范的形式化定義

1978年 羅伯特·弗洛伊德 Robert W. Floyd 設(shè)計高效可靠軟件的方法學(xué)

1979年 肯尼斯·艾佛森 Kenneth E. Iverson 程序設(shè)計語言和數(shù)學(xué)符號，互動系統(tǒng)的設(shè)計，運(yùn)用APL進(jìn)行教學(xué)，程序設(shè)計語言的理論與實(shí)踐

1980年 東尼·霍爾 C. Antony R. Hoare 程序設(shè)計語言的定義與設(shè)計

1981年 埃德加·科德 Edgar F. Codd 數(shù)據(jù)庫系統(tǒng)，尤其是關(guān)系型數(shù)據(jù)庫

1982年 史提芬·古克 Stephen A. Cook 計算復(fù)雜度

1983年 肯·湯普遜 Ken Thompson UNⅨ操作系統(tǒng)和C語言

丹尼斯·里奇 Dennis M. Ritchie

1984年 尼古拉斯·沃斯 Niklaus Wirth 程序設(shè)計語言設(shè)計、程序設(shè)計

1985年 理查德·卡普 Richard M. Karp 算法理論，尤其是NP-完全性理論

1986年 約翰·霍普克羅夫特 John Hopcroft 算法和數(shù)據(jù)結(jié)構(gòu)的設(shè)計與分析

羅伯特·塔揚(yáng) Robert Tarjan

1987年 約翰·科克 John Cocke 編譯理論，大型系統(tǒng)的體系結(jié)構(gòu)，及精簡指令集（RISC）計算機(jī)的開發(fā)

1988年 伊凡·蘇澤蘭 Ivan Sutherland 計算機(jī)圖形學(xué)

1989年 威廉·卡亨 William Morton Kahan 數(shù)值分析

1990年 費(fèi)爾南多·考巴脫 Fernando J. Corbató CTSS和Multics

1991年 羅賓·米爾納 Robin Milner LCF，ML語言，CCS

1992年 巴特勒·蘭普森 Butler W. Lampson 分布式，個人計算環(huán)境

1993年 尤里斯·哈特馬尼斯 Juris Hartmanis 計算復(fù)雜度理論

理查德·斯特恩斯 Richard E. Stearns

1994年 愛德華·費(fèi)根鮑姆 Edward Feigenbaum 大規(guī)模人工智能系統(tǒng)

拉吉·瑞迪 Raj Reddy

1995年 曼紐爾·布盧姆 Manuel Blum 計算復(fù)雜度理論，及其在密碼學(xué)和程序校驗(yàn)上的應(yīng)用

1996年 阿米爾·伯努利 Amir Pnueli 時序邏輯，程序與系統(tǒng)驗(yàn)證

1997年 道格拉斯·恩格爾巴特 Douglas Engelbart 互動計算

1998年 詹姆斯·尼古拉·格雷 James Gray 數(shù)據(jù)庫與事務(wù)處理

1999年 弗雷德里克·布魯克斯 Frederick Phillips Brooks，Jr．計算機(jī)體系結(jié)構(gòu)，操作系統(tǒng)，軟件工程

2000年 姚期智 Andrew Chi-Chih Yao 計算理論，包括偽隨機(jī)數(shù)生成，密碼學(xué)與通信復(fù)雜度

2001年 奧利-約翰·達(dá)爾 Ole-Johan Dahl 面向?qū)ο缶幊?/p>

克利斯登·奈加特 Kristen Nygaard

2002年 羅納德·李維斯特 Ronald L. Rivest 公鑰密碼學(xué)（RSA加密算法）

阿迪·薩莫爾 Adi Shamir

倫納德·阿德曼 Leonard M. Adleman

2003年 艾倫·凱 Alan Kay 面向?qū)ο缶幊?/p>

2004年 文特·瑟夫 Vinton G. Cerf TCP/IP協(xié)議

羅伯特·卡恩 Robert E. Kahn

2005年 彼得·諾爾 Peter Naur Algol 60語言

2006年 法蘭西斯·艾倫 Frances E. Allen 優(yōu)化編譯器

2007年 愛德蒙·克拉克 Edmund M. Clarke 開發(fā)自動化方法檢測計算機(jī)硬件和軟件中的設(shè)計錯誤

艾倫·愛默生 Allen Emerson

約瑟夫·斯發(fā)基斯 Joseph Sifakis

2008年 芭芭拉·利斯科夫 Barbara Liskov 編程語言和系統(tǒng)設(shè)計的實(shí)踐與理論

2009年 查爾斯·薩克爾 Charles Thacker 幫助設(shè)計、制造第一款現(xiàn)代PC

2010年 萊斯利·瓦倫特 Leslie Valiant 對眾多計算理論所做的變革性的貢獻(xiàn)

2011年 猶大·伯爾 Judea Pearl 人工智能

2012年 莎菲·戈德瓦塞爾 Shafi Goldwasser 在密碼學(xué)和復(fù)雜理論領(lǐng)域做出創(chuàng)舉性工作

希爾維奧·米卡利 Silvio Micali

2013年 萊斯利·蘭伯特 Leslie Lamport 在提升計算機(jī)系統(tǒng)的可靠性及穩(wěn)定性領(lǐng)域的杰出貢獻(xiàn)

2014年 邁克爾·斯通布雷克 Michael Stonebraker 對現(xiàn)代數(shù)據(jù)庫系統(tǒng)底層的概念與實(shí)踐所做出的基礎(chǔ)性貢獻(xiàn)

2015年 惠特菲爾德·迪菲 Whitfield Diffie 非對稱加密的創(chuàng)始人

馬丁·赫爾曼 Martin Hellman

2016年 蒂姆·伯納斯·李 Tim Berners-Lee 萬維網(wǎng)的發(fā)明者

2017年 約翰·軒尼詩 John Hennessy 開發(fā)了RISC微處理器并且讓這一概念流行起來的工程

大衛(wèi)·帕特森 David Patterson

2018年 約舒亞·本希奧 Yoshua Bengio 在人工智能深度學(xué)習(xí)方面的貢獻(xiàn)

杰弗里·欣頓 Geoffrey Hinton

揚(yáng)·萊坎 Yann LeCun

2019年 帕特里克· 漢拉汗 Patrick M. Hanrahan對3D計算機(jī)圖形學(xué)的貢獻(xiàn)，以及這些技術(shù)對電影制作和計算機(jī)生成圖像（CGI）等應(yīng)用的革命性影響

艾德文·卡特姆 Edwin E. Catmull

2020年 杰弗里·戴維·烏爾曼Jeffrey David Ullman創(chuàng)造了全球數(shù)百萬編程人員使用的工具和教材，推進(jìn)編程語言實(shí)現(xiàn)的基礎(chǔ)算法和理論，并在極具影響力的書籍中綜述了這些研究成果

阿爾佛雷德·艾侯 Alfred Vaino Aho

2021年 杰克·唐加拉 Jack J.Dongarra通過對線性代數(shù)運(yùn)算的高效數(shù)值算法、并行計算編程機(jī)制和性能評估工具的貢獻(xiàn)，引領(lǐng)了高性能計算的世界。

2022年 鮑勃·梅特卡夫Bob Metcalfe為引領(lǐng)大眾進(jìn)入超級連接時代所做的貢獻(xiàn)

高校獲獎

截至2021年4月，按圖靈獎得主數(shù)量（校友、教職工以及研究人員），世界前10名高校名單如下：

排名 大學(xué)名稱 地區(qū) 獲獎人數(shù)

1 斯坦福大學(xué) 美國 29人

2 麻省理工學(xué)院 美國 26人

3 加利福尼亞大學(xué)伯克利分校 美國 25人

4 普林斯頓大學(xué) 美國 16人

5 哈佛大學(xué) 美國 14人

6 卡耐基梅隆大學(xué) 美國 13人

7 紐約大學(xué) 美國 8人

8 劍橋大學(xué) 英國 7人

9（并列） 加州理工學(xué)院 美國 6人

9（并列） 密歇根大學(xué) 美國 6人

9（并列） 牛津大學(xué) 英國 6人

創(chuàng)始人物

艾倫·麥席森·圖靈（Alan Mathison Turing，1912年6月23日－1954年6月7日），英國數(shù)學(xué)家、邏輯學(xué)家，被稱為計算機(jī)之父、人工智能之父。1931年，圖靈進(jìn)入劍橋大學(xué)國王學(xué)院，畢業(yè)后到美國普林斯頓大學(xué)攻讀博士學(xué)位。二戰(zhàn)爆發(fā)后，回到劍橋大學(xué)，后曾協(xié)助軍方破解德國的著名密碼系統(tǒng)Enigma，幫助盟軍取得了二戰(zhàn)的勝利。圖靈對于人工智能的發(fā)展有諸多貢獻(xiàn)，提出了一種用于判定機(jī)器是否具有智能的試驗(yàn)方法，即圖靈試驗(yàn)。每年都有試驗(yàn)的比賽。此外，圖靈提出的著名的圖靈機(jī)模型為現(xiàn)代計算機(jī)的邏輯工作方式奠定了基礎(chǔ)。

二戰(zhàn)結(jié)束后，圖靈因同性戀傾向在當(dāng)時的英國遭受歧視，被政府定罪，被迫接受“治療”，職業(yè)生涯結(jié)束。1952年，圖靈因同性戀傾向被定為嚴(yán)重猥褻罪，職業(yè)生涯就此毀掉。1954年，圖靈死亡。

直到2013年12月24日，英國司法部長宣布：圖靈當(dāng)時受到的判決“不公，有歧視”，現(xiàn)已獲得女王伊麗莎白二世的赦免，稱“女王的赦免是對這位優(yōu)秀人物的獻(xiàn)禮”。同時，英國前首相卡梅倫表示：“圖靈在二戰(zhàn)時破解德軍密碼、拯救國家上發(fā)揮了關(guān)鍵作用，是一個了不起的人”。