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