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