圖靈獎
圖靈獎（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年至2021年，圖靈獎共授予75名獲獎?wù)?，以美國?span title="歐洲" data-id="19341167" contenteditable="false" class="bk-color-link" data-type="innerLink" data-href="#" data-wiki-doc-id="8530977079954154739" data-source="1" data-content="[{"type":"text","text":"歐洲"}]">歐洲科學(xué)家為主。2000年，華人科學(xué)家姚期智獲圖靈獎，是華人第一次也是唯一一次獲得圖靈獎。
截至2022年3月30日，世界各高校的圖靈獎獲獎人數(shù)依次為美國斯坦福大學(xué)（29位）、美國麻省理工學(xué)院（26位）、美國加利福尼亞大學(xué)伯克利分校（25位）、美國普林斯頓大學(xué)（16位）、美國哈佛大學(xué)（14位）。
歷史沿革
圖靈獎是美國計算機(jī)協(xié)會于1966年設(shè)立的，又叫"A.M.圖靈獎"，專門獎勵那些對計算機(jī)事業(yè)作出重要貢獻(xiàn)的個人。其名稱取自計算機(jī)科學(xué)的先驅(qū)、英國科學(xué)家艾倫·圖靈，這個獎設(shè)立目的之一是紀(jì)念這位科學(xué)家。
圖靈獎對獲獎?wù)叩囊髽O高，評獎程序極嚴(yán)，一般每年只獎勵一名計算機(jī)科學(xué)家，只有極少數(shù)年度有兩名在同一方向上做出貢獻(xiàn)的科學(xué)家同時獲獎。因此，盡管“圖靈”的獎金數(shù)額不算高，但它卻是計算機(jī)界最負(fù)盛名的獎項(xiàng)，有“計算機(jī)界諾貝爾獎”之稱。
從1966年至今共計有67名科學(xué)家獲此殊榮，其中美國學(xué)者最多，此外還有英國、瑞士、荷蘭、以色列等國少數(shù)學(xué)者。
截止至2018年，獲此殊榮的華人僅有1位，他是2000年圖靈獎得主姚期智。據(jù)相關(guān)資料統(tǒng)計，截止2018年，美國斯坦福大學(xué)的圖靈獎人數(shù)（校友或教職工）位列世界第一（27位），美國麻省理工學(xué)院（25位）、美國加州大學(xué)伯克利分校并列世界第二（25位）；哈佛大學(xué)（14位）和普林斯頓大學(xué)（13位）分列世界第四和第五名。
創(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é)束。1954年6月7日，圖靈被發(fā)現(xiàn)死于家中的床上，床頭放著一個被咬了一口的蘋果，其中含有氰化物，警方調(diào)查后結(jié)論為服毒自殺。直到2013年12月24日，英國司法部長宣布：圖靈當(dāng)時受到的判決“不公，有歧視”，現(xiàn)已獲得女王伊麗莎白二世的赦免，稱“女王的赦免是對這位優(yōu)秀人物的獻(xiàn)禮”。同時，英國前首相卡梅倫表示：“圖靈在二戰(zhàn)時破解德軍密碼、拯救國家上發(fā)揮了關(guān)鍵作用，是一個了不起的人”。
評選規(guī)則
獲獎條件
由于圖靈獎對獲獎條件要求極高，評獎程序又是極嚴(yán)，一般每年只獎勵一名計算機(jī)科學(xué)家，只有極少數(shù)年度有兩名合作者或在同一方向作出貢獻(xiàn)的科學(xué)家共享此獎。因此它是計算機(jī)界最負(fù)盛名、最崇高的一個獎項(xiàng)，有“計算機(jī)界的諾貝爾獎”之稱。
每年，美國計算機(jī)協(xié)會將要求提名人推薦本年度的圖靈獎候選人，并附加一份200到500字的文章，說明被提名者為什么應(yīng)獲此獎。任何人都可成為提名人。美國計算機(jī)協(xié)會將組成評選委員會，對被提名者進(jìn)行嚴(yán)格的評審，并最終確定當(dāng)年的獲獎?wù)摺?/p>
獎金金額
獎金金額不算太高，設(shè)獎初期為20萬美元，1989年起增到25萬美元，獎金通常由計算機(jī)界的一些大企業(yè)提供（通過與ACM簽訂協(xié)議）。目前圖靈獎由Google公司贊助，獎金為1,000,000美元。
歷屆名單
從1966年至今共67名得主，按國籍分，美國學(xué)者最多，歐洲學(xué)者偶見之，華人學(xué)者目僅有2000年圖靈獎得主姚期智（現(xiàn)在清華大學(xué)、香港中文大學(xué)）。
67名得主分布在幾十個小領(lǐng)域，排在前六的領(lǐng)域有：編譯原理、程序設(shè)計語言，計算復(fù)雜性理論，人工智能，密碼學(xué)，以及數(shù)據(jù)庫（4名）。在某種意義上，可大致認(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 | 以表彰其開創(chuàng)性的概念和方法，這些概念和方法推進(jìn)了給世界帶來改變的計算。他在數(shù)值算法和庫方面的開創(chuàng)性貢獻(xiàn)，使得高性能計算軟件能夠跟上四十多年來的指數(shù)級硬件更新。 |
獎項(xiàng)之最
圖靈獎（Turing Award）自1966年首次頒發(fā)，截止2018年共授予了67位個人。據(jù)相關(guān)資料統(tǒng)計，截止2018年，按圖靈獎得主數(shù)量（校友、教職工以及研究人員），前10名高校名單如下：
排名 | 大學(xué)名稱 | 地區(qū) | 圖靈獎人數(shù) |
1 | 斯坦福大學(xué) | 美國 | 27人 |
2（并列） | 麻省理工學(xué)院 | 美國 | 25人 |
2（并列） | 加州大學(xué)伯克利分校 | 美國 | 25人 |
4 | 哈佛大學(xué) | 美國 | 14人 |
5 | 普林斯頓大學(xué) | 美國 | 13人 |
6 | 卡耐基梅隆大學(xué) | 美國 | 12人 |
7 | 紐約大學(xué) | 美國 | 7人 |
8（并列） | 加州理工學(xué)院 | 美國 | 6人 |
8（并列） | 劍橋大學(xué) | 英國 | 6人 |
8（并列） | 密歇根大學(xué) | 美國 | 6人 |
8（并列） | 牛津大學(xué) | 英國 | 6人 |