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