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