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