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