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