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