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