圖靈(ling)(ling)獎(jiang)(jiang)(Turing Award),全稱A.M.圖靈(ling)(ling)獎(jiang)(jiang)(ACM A.M Turing Award),是由美國計算(suan)機(ji)協會(ACM)于1966年(nian)設立的計算(suan)機(ji)獎(jiang)(jiang)項(xiang),名(ming)稱取自(zi)艾倫·麥(mai)席(xi)森·圖靈(ling)(ling)(Alan M.Turing),旨在獎(jiang)(jiang)勵(li)對計算(suan)機(ji)事業作出重要(yao)貢獻的個(ge)人。圖靈(ling)(ling)獎(jiang)(jiang)對獲獎(jiang)(jiang)條件要(yao)求極高(gao),評獎(jiang)(jiang)程序極嚴,一般每(mei)年(nian)僅授予一名(ming)計算(suan)機(ji)科學家。圖靈(ling)(ling)獎(jiang)(jiang)是計算(suan)機(ji)領(ling)域的國際最高(gao)獎(jiang)(jiang)項(xiang),被(bei)譽(yu)為“計算(suan)機(ji)界(jie)的諾(nuo)貝爾獎(jiang)(jiang)”。
圖(tu)靈(ling)獎(jiang)(jiang)一般在(zai)每年(nian)3月下(xia)旬頒發。從1966年(nian)至2020年(nian),圖(tu)靈(ling)獎(jiang)(jiang)共授予74名獲獎(jiang)(jiang)者(zhe),以(yi)美國(guo)、歐洲科學家為主(zhu)。2000年(nian),中國(guo)科學家姚期智獲圖(tu)靈(ling)獎(jiang)(jiang),這是(shi)中國(guo)人首次(ci)(ci)也是(shi)唯一一次(ci)(ci)獲得圖(tu)靈(ling)獎(jiang)(jiang)。2022年(nian)3月30日,美國(guo)計算機協會(ACM)公布了2021年(nian)度圖(tu)靈(ling)獎(jiang)(jiang)獲獎(jiang)(jiang)者(zhe)。美國(guo)田納西大學電氣工(gong)程(cheng)和計算機科學系教(jiao)授Jack J.Dongarra因對數字算法和庫的開(kai)創性貢獻摘得這一榮譽(yu)。
截至(zhi)2021年4月(yue),世界各高(gao)校的(de)圖靈獎(jiang)獲獎(jiang)人數依次為(wei)美(mei)國(guo)斯坦福大學(29位)、美(mei)國(guo)麻省理工學院(26位)、美(mei)國(guo)加利福尼亞大學伯克利分校(25位)、美(mei)國(guo)普林斯頓大學(16位)、美(mei)國(guo)哈佛大學(14位)。
圖(tu)靈(ling)獎(jiang)(jiang)(Turing Award),全(quan)稱A.M.圖(tu)靈(ling)獎(jiang)(jiang)(A.M Turing Award),是由美(mei)國(guo)計(ji)算(suan)機(ji)(ji)協會(ACM)于1966年設立(li)的(de)計(ji)算(suan)機(ji)(ji)獎(jiang)(jiang)項,名(ming)稱取(qu)自艾倫·麥席森·圖(tu)靈(ling)(Alan M.Turing),旨在獎(jiang)(jiang)勵對(dui)計(ji)算(suan)機(ji)(ji)事(shi)業作出重要貢獻的(de)個人。圖(tu)靈(ling)獎(jiang)(jiang)對(dui)獲獎(jiang)(jiang)條件要求極高,評獎(jiang)(jiang)程(cheng)序(xu)極嚴,一(yi)般每年僅授(shou)予一(yi)名(ming)計(ji)算(suan)機(ji)(ji)科學家。圖(tu)靈(ling)獎(jiang)(jiang)是計(ji)算(suan)機(ji)(ji)領域的(de)國(guo)際最高獎(jiang)(jiang)項,被譽為“計(ji)算(suan)機(ji)(ji)界的(de)諾貝(bei)爾獎(jiang)(jiang)”。
圖(tu)靈獎(jiang)的獎(jiang)金在設獎(jiang)初期為20萬美(mei)元(yuan),1989年起增到25萬美(mei)元(yuan)。獎(jiang)金通(tong)常由計算機(ji)界的一些大企業(ye)提供(通(tong)過與ACM簽訂協議(yi))。圖(tu)靈獎(jiang)獎(jiang)金由Google公司贊助,為1,000,000美(mei)元(yuan)。
每年,美國計算機(ji)(ji)協會將要(yao)求(qiu)領域內專家提名(ming)本(ben)年度的圖靈(ling)獎候選人(ren),并(bing)在附加的推薦信中(zhong)說明推薦理由。任何人(ren)都可成(cheng)為提名(ming)人(ren)。美國計算機(ji)(ji)協會將組成(cheng)評(ping)選委員會,對被(bei)提名(ming)者進行嚴格的評(ping)審,并(bing)最(zui)終確定當年的獲獎者。
圖靈獎得主分布(bu)在(zai)幾十個(ge)領(ling)域(yu),排(pai)在(zai)前六的領(ling)域(yu)有:編譯原理(li)、程序設計(ji)語言、計(ji)算復雜性(xing)理(li)論、人工(gong)智能、密碼(ma)學(xue)(xue)、數據庫。在(zai)某種意義(yi)上可(ke)大致認(ren)為(wei),前三個(ge)領(ling)域(yu)與計(ji)算機科學(xue)(xue)本身(shen)更密切一些,后三個(ge)領(ling)域(yu)與軍民(min)應(ying)用更密切一些。
年份 中文譯(yi)名 姓名 貢獻領域/獲獎理由
1966年 艾倫·佩利 Alan J. Perlis 高級程序(xu)設(she)計技巧,編譯(yi)器(qi)構造(zao)
1967年 莫里斯·威爾(er)克斯 Maurice V. Wilkes 存儲程序(xu)式計算機EDSAC,程序(xu)庫
1968年 理查(cha)德·衛斯里(li)·漢明 Richard Hamming 數(shu)值(zhi)方法,自動編碼(ma)系統,錯誤(wu)檢測和(he)糾錯碼(ma)
1969年 馬文·明斯(si)基(ji) Marvin Minsky 人工(gong)智能
1970年(nian) 詹姆(mu)斯·維(wei)爾金森 James H. Wilkinson 數(shu)值分(fen)析,線性代數(shu),倒退錯誤分(fen)析
1971年 約翰·麥卡錫 John McCarthy 人工(gong)智能
1972年(nian) 艾茲格·迪(di)科斯徹 Edsger Dijkstra 程序設計語言的科學(xue)與(yu)藝術
1973年(nian) 查理士·巴赫曼 Charles W. Bachman 數據庫技術(shu)
1974年 高德納 Donald E. Knuth 算法分析、程(cheng)序設計(ji)語(yu)言的設計(ji)、程(cheng)序設計(ji)
1975年(nian) 艾倫·紐厄爾 Allen Newell 人工(gong)智(zhi)能(neng),人類認知心(xin)理學(xue)和列表(biao)處理(list processing)
赫伯特·西蒙 Herbert A. Simon
1976年(nian) 邁克(ke)爾(er)·拉賓 Michael O. Rabin 非確定性自(zi)動機
達(da)納·斯科特 Dana S. Scott
1977年 約翰·巴克斯 John Backus 高級編程系統(tong),程序設計語言規范的形式化(hua)定(ding)義
1978年(nian) 羅伯(bo)特·弗洛伊德 Robert W. Floyd 設計高(gao)效可(ke)靠軟件的方法學
1979年 肯尼(ni)斯(si)·艾佛(fo)森 Kenneth E. Iverson 程序設(she)(she)計(ji)語言和數學符號,互動(dong)系統的(de)設(she)(she)計(ji),運(yun)用APL進行教學,程序設(she)(she)計(ji)語言的(de)理論(lun)與實踐
1980年(nian) 東尼·霍爾 C. Antony R. Hoare 程序設(she)計語言的定義(yi)與設(she)計
1981年 埃(ai)德(de)加·科德(de) Edgar F. Codd 數(shu)(shu)據(ju)庫系統(tong),尤其是(shi)關系型數(shu)(shu)據(ju)庫
1982年 史提芬·古克 Stephen A. Cook 計算(suan)復雜度
1983年 肯·湯普遜 Ken Thompson UNⅨ操作(zuo)系統和C語言
丹尼斯·里奇 Dennis M. Ritchie
1984年 尼古拉(la)斯·沃斯 Niklaus Wirth 程(cheng)序設(she)(she)計語言設(she)(she)計、程(cheng)序設(she)(she)計
1985年(nian) 理查德·卡普 Richard M. Karp 算法理論(lun),尤(you)其(qi)是(shi)NP-完(wan)全性(xing)理論(lun)
1986年 約(yue)翰·霍普克羅夫(fu)特 John Hopcroft 算法和數據結構(gou)的設計與(yu)分析
羅伯特·塔揚 Robert Tarjan
1987年(nian) 約翰·科克 John Cocke 編譯理(li)論,大型系統的體系結構(gou),及精簡指令集(RISC)計算機的開發(fa)
1988年 伊(yi)凡·蘇澤蘭 Ivan Sutherland 計算機圖(tu)形學
1989年 威廉·卡亨(heng) William Morton Kahan 數值(zhi)分析
1990年 費(fei)爾南多(duo)·考巴脫 Fernando J. Corbató CTSS和Multics
1991年 羅賓·米爾納 Robin Milner LCF,ML語言,CCS
1992年 巴特勒·蘭普森 Butler W. Lampson 分布式,個人計算環境
1993年 尤里(li)斯·哈特馬尼斯 Juris Hartmanis 計(ji)算復雜度理論
理查德(de)·斯特(te)恩斯 Richard E. Stearns
1994年 愛德華(hua)·費根鮑姆 Edward Feigenbaum 大規模(mo)人工(gong)智(zhi)能系(xi)統(tong)
拉吉(ji)·瑞迪 Raj Reddy
1995年 曼紐爾·布盧姆 Manuel Blum 計算復雜度理(li)論,及其在密碼學(xue)和程序校驗上的應用
1996年(nian) 阿米(mi)爾·伯(bo)努利 Amir Pnueli 時序邏(luo)輯,程(cheng)序與(yu)系統驗(yan)證
1997年 道格拉斯(si)·恩格爾巴特(te) Douglas Engelbart 互動計算
1998年 詹(zhan)姆斯(si)·尼古拉(la)·格雷 James Gray 數據庫與事務處理
1999年(nian) 弗雷德里克·布(bu)魯克斯 Frederick Phillips Brooks,Jr.計算機體系(xi)結構,操作系(xi)統,軟(ruan)件工程(cheng)
2000年 姚期智 Andrew Chi-Chih Yao 計(ji)算理(li)論(lun),包括偽隨(sui)機數生成,密碼(ma)學與通信復(fu)雜度
2001年 奧利-約(yue)翰·達爾(er) Ole-Johan Dahl 面向對象編程
克利斯(si)登(deng)·奈加特 Kristen Nygaard
2002年 羅納德·李維斯(si)特 Ronald L. Rivest 公(gong)鑰密碼(ma)學(xue)(RSA加密算(suan)法)
阿(a)迪·薩莫爾 Adi Shamir
倫納德·阿德曼 Leonard M. Adleman
2003年 艾倫(lun)·凱 Alan Kay 面向(xiang)對象編程
2004年 文特·瑟(se)夫 Vinton G. Cerf TCP/IP協議(yi)
羅(luo)伯特·卡(ka)恩(en) Robert E. Kahn
2005年 彼(bi)得·諾爾 Peter Naur Algol 60語言
2006年 法蘭西斯·艾倫 Frances E. Allen 優化編譯(yi)器
2007年 愛德蒙·克拉克 Edmund M. Clarke 開發自動(dong)化方法檢測(ce)計(ji)算機硬件和軟件中的(de)設計(ji)錯(cuo)誤
艾倫·愛默生(sheng) Allen Emerson
約瑟(se)夫·斯(si)發基斯(si) Joseph Sifakis
2008年 芭(ba)芭(ba)拉·利斯科夫 Barbara Liskov 編程語言和(he)系統(tong)設計的實(shi)踐與理論
2009年 查爾斯·薩克(ke)爾 Charles Thacker 幫助(zhu)設計、制(zhi)造第(di)一款現代PC
2010年 萊(lai)斯(si)利(li)·瓦(wa)倫特 Leslie Valiant 對眾多計算理論所做的(de)變革性的(de)貢獻
2011年 猶大·伯爾 Judea Pearl 人工智(zhi)能
2012年 莎(sha)菲·戈德瓦塞爾(er) Shafi Goldwasser 在密碼學和復雜理論(lun)領域(yu)做出創舉性工作(zuo)
希爾(er)維(wei)奧·米卡(ka)利 Silvio Micali
2013年 萊斯利·蘭伯特 Leslie Lamport 在提(ti)升計算機系統的(de)可(ke)靠性及穩定(ding)性領域的(de)杰出貢獻(xian)
2014年 邁克爾·斯通布雷克 Michael Stonebraker 對現代數據庫(ku)系(xi)統底層(ceng)的(de)(de)概念(nian)與實踐所做出的(de)(de)基礎性(xing)貢獻(xian)
2015年(nian) 惠(hui)特菲爾德·迪菲 Whitfield Diffie 非對稱加密的創始人(ren)
馬丁·赫爾(er)曼 Martin Hellman
2016年 蒂姆·伯納斯·李 Tim Berners-Lee 萬(wan)維網的(de)發明者
2017年 約翰·軒(xuan)尼詩 John Hennessy 開發了RISC微(wei)處理器(qi)并(bing)且讓這一概念流行起來的工程
大(da)衛(wei)·帕特森 David Patterson
2018年 約舒(shu)亞·本希奧 Yoshua Bengio 在人工智能深度學習方面(mian)的貢獻
杰(jie)弗里·欣頓 Geoffrey Hinton
揚·萊坎 Yann LeCun
2019年 帕(pa)特里克· 漢拉汗(han) Patrick M. Hanrahan對(dui)3D計算機(ji)圖(tu)形學的貢獻,以及(ji)這些技(ji)術(shu)對(dui)電(dian)影制作和(he)計算機(ji)生成圖(tu)像(CGI)等(deng)應(ying)用的革命性影響
艾(ai)德文·卡特姆 Edwin E. Catmull
2020年 杰弗里·戴(dai)維·烏爾曼Jeffrey David Ullman創(chuang)造了(le)全球數百萬(wan)編(bian)程人員使用的工具和教材(cai),推(tui)進編(bian)程語言實現的基(ji)礎算法和理(li)論(lun),并(bing)在極(ji)具影響力的書籍中綜述了(le)這些研究(jiu)成(cheng)果
阿爾佛雷德·艾(ai)侯 Alfred Vaino Aho
2021年 杰(jie)克·唐加拉 Jack J.Dongarra通過(guo)對線性(xing)代數運算的高(gao)效(xiao)數值算法、并行計算編程機制和(he)性(xing)能評估(gu)工具(ju)的貢獻,引(yin)領了高(gao)性(xing)能計算的世界。
2022年 鮑勃·梅特卡夫Bob Metcalfe為引領大眾進入超級連接時代所做的(de)貢獻
截至2021年(nian)4月(yue),按圖靈獎得主(zhu)數量(liang)(校友、教職工以及研究(jiu)人員),世界前10名高(gao)校名單(dan)如下:
排名 大學名稱(cheng) 地(di)區 獲獎人數
1 斯坦福大學 美國 29人
2 麻省理工(gong)學院 美國(guo) 26人
3 加利福尼亞(ya)大(da)學伯(bo)克利分校 美國(guo) 25人
4 普(pu)林斯頓大學 美國 16人
5 哈佛大(da)學 美國 14人
6 卡耐基(ji)梅隆(long)大學(xue) 美國 13人
7 紐約大學 美國 8人
8 劍橋大學 英國 7人
9(并列) 加(jia)州理工學院 美國(guo) 6人(ren)
9(并列) 密歇根大學 美國(guo) 6人
9(并(bing)列) 牛(niu)津大學 英(ying)國 6人
艾倫(lun)·麥席森·圖(tu)靈(ling)(ling)(ling)(Alan Mathison Turing,1912年(nian)6月23日(ri)-1954年(nian)6月7日(ri)),英(ying)國數(shu)學(xue)家、邏輯(ji)學(xue)家,被稱(cheng)為(wei)計算(suan)機(ji)之(zhi)父(fu)、人(ren)工(gong)智(zhi)能(neng)之(zhi)父(fu)。1931年(nian),圖(tu)靈(ling)(ling)(ling)進入劍(jian)橋大(da)學(xue)國王(wang)學(xue)院,畢業后到(dao)美國普林(lin)斯頓大(da)學(xue)攻讀博(bo)士(shi)學(xue)位。二戰(zhan)爆發后,回到(dao)劍(jian)橋大(da)學(xue),后曾協助軍方(fang)破解德國的(de)著(zhu)名密碼系統Enigma,幫助盟軍取得(de)了(le)(le)(le)二戰(zhan)的(de)勝利。圖(tu)靈(ling)(ling)(ling)對于(yu)人(ren)工(gong)智(zhi)能(neng)的(de)發展有諸多貢獻,提出了(le)(le)(le)一種用于(yu)判定機(ji)器是否(fou)具(ju)有智(zhi)能(neng)的(de)試(shi)驗方(fang)法,即圖(tu)靈(ling)(ling)(ling)試(shi)驗。每年(nian)都(dou)有試(shi)驗的(de)比賽。此外,圖(tu)靈(ling)(ling)(ling)提出的(de)著(zhu)名的(de)圖(tu)靈(ling)(ling)(ling)機(ji)模型(xing)為(wei)現代(dai)計算(suan)機(ji)的(de)邏輯(ji)工(gong)作(zuo)方(fang)式奠(dian)定了(le)(le)(le)基礎。
二戰結束(shu)后,圖(tu)靈(ling)(ling)因(yin)同性戀傾向在(zai)當(dang)時(shi)的英(ying)國遭受歧視,被政(zheng)府定(ding)罪,被迫(po)接受“治(zhi)療”,職業(ye)(ye)生涯結束(shu)。1952年,圖(tu)靈(ling)(ling)因(yin)同性戀傾向被定(ding)為嚴重猥(wei)褻罪,職業(ye)(ye)生涯就此毀掉。1954年,圖(tu)靈(ling)(ling)死亡。
直到2013年(nian)12月24日,英國(guo)司(si)法(fa)部長宣布(bu):圖(tu)靈當時受到的(de)判決“不公,有歧(qi)視(shi)”,現已獲得(de)女王(wang)伊麗莎白二世的(de)赦免,稱“女王(wang)的(de)赦免是對這(zhe)位(wei)優秀人物的(de)獻禮”。同時,英國(guo)前(qian)首相(xiang)卡梅倫表示:“圖(tu)靈在二戰時破解德軍密(mi)碼(ma)、拯救國(guo)家上發揮(hui)了關鍵作用,是一個了不起的(de)人”。