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