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