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