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