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