芒果视频下载

圖靈獎(jiang)（Turing Award），全(quan)稱(cheng)A.M.圖靈獎(jiang)（ACM A.M Turing Award），是由美國(guo)計算(suan)(suan)機(ji)(ji)協(xie)會(hui)（ACM）于1966年(nian)設立(li)的(de)計算(suan)(suan)機(ji)(ji)獎(jiang)項(xiang)(xiang)，名稱(cheng)取(qu)自艾倫·麥(mai)席森·圖靈（Alan M.Turing），旨(zhi)在獎(jiang)勵對計算(suan)(suan)機(ji)(ji)事業作(zuo)出重要貢獻的(de)個人(ren)。圖靈獎(jiang)對獲獎(jiang)條件要求極(ji)高，評獎(jiang)程序(xu)極(ji)嚴，一般每(mei)年(nian)僅授予一名計算(suan)(suan)機(ji)(ji)科(ke)學家。圖靈獎(jiang)是計算(suan)(suan)機(ji)(ji)領(ling)域的(de)國(guo)際最高獎(jiang)項(xiang)(xiang)，被譽為(wei)“計算(suan)(suan)機(ji)(ji)界的(de)諾貝爾獎(jiang)”。

圖(tu)(tu)靈(ling)獎(jiang)一般在每年(nian)3月(yue)下旬(xun)頒(ban)發。從1966年(nian)至2020年(nian)，圖(tu)(tu)靈(ling)獎(jiang)共授予74名獲獎(jiang)者，以美(mei)(mei)國(guo)(guo)、歐洲科學(xue)家(jia)為主(zhu)。2000年(nian)，中(zhong)國(guo)(guo)科學(xue)家(jia)姚期(qi)智獲圖(tu)(tu)靈(ling)獎(jiang)，這是中(zhong)國(guo)(guo)人首次也(ye)是唯一一次獲得(de)圖(tu)(tu)靈(ling)獎(jiang)。2022年(nian)3月(yue)30日，美(mei)(mei)國(guo)(guo)計算機協會（ACM）公布了2021年(nian)度(du)圖(tu)(tu)靈(ling)獎(jiang)獲獎(jiang)者。美(mei)(mei)國(guo)(guo)田(tian)納西(xi)大學(xue)電(dian)氣工程和(he)計算機科學(xue)系(xi)教授Jack J.Dongarra因對數字算法(fa)和(he)庫的開創性貢獻摘得(de)這一榮(rong)譽。

截至2021年4月，世(shi)界各高校的圖靈(ling)獎(jiang)獲獎(jiang)人數依次(ci)為(wei)美(mei)國(guo)斯坦福大(da)學(xue)（29位(wei)）、美(mei)國(guo)麻省理(li)工學(xue)院（26位(wei)）、美(mei)國(guo)加利(li)福尼亞大(da)學(xue)伯克利(li)分校（25位(wei)）、美(mei)國(guo)普林斯頓大(da)學(xue)（16位(wei)）、美(mei)國(guo)哈佛大(da)學(xue)（14位(wei)）。

獎項介紹

圖(tu)靈獎(jiang)（Turing Award），全(quan)稱A.M.圖(tu)靈獎(jiang)（A.M Turing Award），是由美國計(ji)算(suan)(suan)機(ji)協會（ACM）于1966年設立的計(ji)算(suan)(suan)機(ji)獎(jiang)項，名(ming)稱取自(zi)艾倫·麥席森·圖(tu)靈（Alan M.Turing），旨(zhi)在獎(jiang)勵對計(ji)算(suan)(suan)機(ji)事業(ye)作出重要貢獻的個人。圖(tu)靈獎(jiang)對獲獎(jiang)條件要求極高，評獎(jiang)程序極嚴，一(yi)般每年僅授予一(yi)名(ming)計(ji)算(suan)(suan)機(ji)科(ke)學家。圖(tu)靈獎(jiang)是計(ji)算(suan)(suan)機(ji)領域的國際最高獎(jiang)項，被譽為“計(ji)算(suan)(suan)機(ji)界的諾貝爾獎(jiang)”。

圖(tu)靈獎(jiang)的獎(jiang)金(jin)在設獎(jiang)初期為20萬美(mei)元，1989年起增(zeng)到25萬美(mei)元。獎(jiang)金(jin)通常由(you)計算機界的一(yi)些大企業提供(gong)（通過與ACM簽訂協(xie)議(yi)）。圖(tu)靈獎(jiang)獎(jiang)金(jin)由(you)Google公司贊(zan)助，為1,000,000美(mei)元。

評審制度

每年(nian)(nian)，美國計算機協會(hui)(hui)將(jiang)要求領域(yu)內專家提(ti)名本年(nian)(nian)度的(de)圖(tu)靈獎(jiang)候選(xuan)人(ren)(ren)，并在附加的(de)推(tui)薦信(xin)中說明推(tui)薦理由。任何(he)人(ren)(ren)都可成為(wei)提(ti)名人(ren)(ren)。美國計算機協會(hui)(hui)將(jiang)組成評選(xuan)委(wei)員會(hui)(hui)，對被提(ti)名者(zhe)進(jin)行嚴格的(de)評審(shen)，并最終確定當年(nian)(nian)的(de)獲獎(jiang)者(zhe)。

獲獎名單

圖(tu)靈獎(jiang)得主(zhu)分布在幾十個領(ling)域(yu)(yu)，排在前六(liu)的領(ling)域(yu)(yu)有(you)：編譯原理、程序設計語言、計算(suan)復雜(za)性理論、人工智(zhi)能、密碼學、數據庫。在某種意義上(shang)可大致認為，前三個領(ling)域(yu)(yu)與計算(suan)機科學本身更密切一些，后(hou)三個領(ling)域(yu)(yu)與軍民(min)應用(yong)更密切一些。

年份(fen) 中文譯名 姓名 貢獻領域/獲(huo)獎(jiang)理由

1966年 艾倫·佩利 Alan J. Perlis 高級(ji)程序設計技巧，編譯器(qi)構造

1967年 莫里斯(si)·威(wei)爾克斯(si) Maurice V. Wilkes 存儲程序(xu)式計(ji)算機EDSAC，程序(xu)庫

1968年(nian) 理查德·衛斯里·漢(han)明 Richard Hamming 數(shu)值方法，自動編碼系統(tong)，錯(cuo)誤檢測和糾錯(cuo)碼

1969年(nian) 馬(ma)文·明斯基 Marvin Minsky 人工智能

1970年 詹(zhan)姆斯·維爾(er)金森 James H. Wilkinson 數(shu)值分(fen)(fen)析，線性(xing)代數(shu)，倒退錯誤分(fen)(fen)析

1971年 約翰·麥(mai)卡錫 John McCarthy 人工智能(neng)

1972年(nian) 艾茲(zi)格(ge)·迪科(ke)斯徹 Edsger Dijkstra 程序(xu)設計語(yu)言的科(ke)學與(yu)藝(yi)術

1973年 查(cha)理士·巴赫曼 Charles W. Bachman 數據庫技術(shu)

1974年(nian) 高(gao)德納 Donald E. Knuth 算(suan)法分析、程序設計(ji)語(yu)言(yan)的設計(ji)、程序設計(ji)

1975年 艾倫(lun)·紐厄爾 Allen Newell 人工智能，人類認知心(xin)理學和(he)列表處理（list processing）

赫伯特·西蒙 Herbert A. Simon

1976年 邁克爾(er)·拉賓 Michael O. Rabin 非確定性自動機

達納·斯科特 Dana S. Scott

1977年 約翰·巴克斯 John Backus 高級編程系統，程序設(she)計語言規范的形式(shi)化定義

1978年 羅伯特(te)·弗洛(luo)伊德 Robert W. Floyd 設計高(gao)效(xiao)可靠軟件的方法學

1979年 肯尼斯·艾佛森(sen) Kenneth E. Iverson 程(cheng)(cheng)序(xu)(xu)設計語言(yan)(yan)和數學符號，互動系(xi)統的設計，運用APL進行(xing)教學，程(cheng)(cheng)序(xu)(xu)設計語言(yan)(yan)的理論(lun)與實(shi)踐

1980年 東(dong)尼·霍爾 C. Antony R. Hoare 程序設計(ji)語言的定義(yi)與設計(ji)

1981年 埃德(de)加·科(ke)德(de) Edgar F. Codd 數據庫系統，尤其是(shi)關系型(xing)數據庫

1982年 史(shi)提芬·古克 Stephen A. Cook 計算復雜度

1983年(nian) 肯(ken)·湯(tang)普遜(xun) Ken Thompson UNⅨ操(cao)作系統和C語言

丹尼斯(si)·里奇 Dennis M. Ritchie

1984年 尼古拉斯·沃斯 Niklaus Wirth 程(cheng)序(xu)(xu)設計語言(yan)設計、程(cheng)序(xu)(xu)設計

1985年 理(li)查德·卡(ka)普 Richard M. Karp 算法理(li)論，尤其是NP-完全性理(li)論

1986年 約翰·霍(huo)普(pu)克羅夫特(te) John Hopcroft 算法和(he)數據結(jie)構的設計(ji)與(yu)分(fen)析(xi)

羅伯特(te)·塔揚 Robert Tarjan

1987年 約翰·科克 John Cocke 編譯理論，大(da)型系統的體系結構，及精簡(jian)指令集（RISC）計算機的開發

1988年 伊(yi)凡·蘇澤蘭 Ivan Sutherland 計算機(ji)圖形學

1989年 威(wei)廉·卡亨 William Morton Kahan 數值分析

1990年 費爾南多(duo)·考巴脫 Fernando J. Corbató CTSS和Multics

1991年 羅賓·米爾納 Robin Milner LCF，ML語言(yan)，CCS

1992年 巴特勒(le)·蘭普森 Butler W. Lampson 分布式，個人計(ji)算環境

1993年(nian) 尤里斯(si)·哈特馬尼(ni)斯(si) Juris Hartmanis 計算復(fu)雜度(du)理論

理查德·斯特(te)恩斯 Richard E. Stearns

1994年 愛德華·費根鮑姆 Edward Feigenbaum 大(da)規模(mo)人工智能系統(tong)

拉吉·瑞(rui)迪(di) Raj Reddy

1995年 曼紐爾·布盧姆(mu) Manuel Blum 計算復(fu)雜度理論(lun)，及其在(zai)密(mi)碼學和程序校驗上的應用

1996年 阿米爾·伯努利(li) Amir Pnueli 時序邏輯，程序與系統驗(yan)證

1997年 道格拉(la)斯·恩(en)格爾巴特(te) Douglas Engelbart 互動計算

1998年(nian) 詹姆斯·尼古拉·格雷 James Gray 數據庫與(yu)事務處理

1999年(nian) 弗雷德里克·布魯克斯 Frederick Phillips Brooks，Jr．計算機體系結構，操作系統，軟件工程(cheng)

2000年(nian) 姚期智 Andrew Chi-Chih Yao 計(ji)算理論(lun)，包括偽隨機數生成，密碼學與通信復雜度(du)

2001年 奧(ao)利(li)-約(yue)翰·達爾 Ole-Johan Dahl 面(mian)向對象編程

克利(li)斯登·奈加特 Kristen Nygaard

2002年 羅(luo)納(na)德(de)·李維斯特(te) Ronald L. Rivest 公鑰密碼學(xue)（RSA加密算法）

阿迪·薩莫爾 Adi Shamir

倫納德(de)·阿德(de)曼 Leonard M. Adleman

2003年 艾(ai)倫·凱 Alan Kay 面(mian)向對象編程

2004年 文(wen)特(te)·瑟夫 Vinton G. Cerf TCP/IP協議

羅伯特·卡(ka)恩 Robert E. Kahn

2005年 彼得·諾爾 Peter Naur Algol 60語(yu)言

2006年 法蘭西斯·艾倫(lun) Frances E. Allen 優化編譯器

2007年(nian) 愛德蒙·克拉克 Edmund M. Clarke 開發自(zi)動(dong)化方(fang)法檢(jian)測計(ji)算機硬件和軟件中(zhong)的設計(ji)錯誤

艾倫·愛默生(sheng) Allen Emerson

約瑟夫·斯發基斯 Joseph Sifakis

2008年 芭芭拉·利斯科夫 Barbara Liskov 編程語言和(he)系統設計的實(shi)踐與(yu)理論(lun)

2009年 查爾斯·薩克(ke)爾 Charles Thacker 幫助設(she)計(ji)、制造(zao)第一(yi)款現代PC

2010年(nian) 萊(lai)斯利·瓦倫特 Leslie Valiant 對眾多計算理論(lun)所做的變革性的貢獻

2011年 猶大(da)·伯(bo)爾 Judea Pearl 人工(gong)智能

2012年 莎菲(fei)·戈德瓦(wa)塞(sai)爾 Shafi Goldwasser 在密碼學(xue)和復雜(za)理論(lun)領域做出創(chuang)舉性工作(zuo)

希爾維(wei)奧·米卡利(li) Silvio Micali

2013年 萊斯利(li)·蘭伯特 Leslie Lamport 在提升計算(suan)機系(xi)統(tong)的(de)可靠性及(ji)穩定性領(ling)域的(de)杰出貢獻(xian)

2014年 邁克爾(er)·斯通布雷克 Michael Stonebraker 對(dui)現代數據庫系統底(di)層的概念與實踐所做出的基礎性貢獻

2015年 惠特菲爾德·迪菲 Whitfield Diffie 非(fei)對稱加密的(de)創始人

馬丁·赫爾(er)曼(man) Martin Hellman

2016年 蒂(di)姆·伯納斯·李 Tim Berners-Lee 萬維網的發明者(zhe)

2017年 約翰(han)·軒(xuan)尼詩 John Hennessy 開發了RISC微處理器并且讓(rang)這一概念(nian)流行起來的工程(cheng)

大衛(wei)·帕特森 David Patterson

2018年(nian) 約(yue)舒亞·本(ben)希奧 Yoshua Bengio 在人工智能深度(du)學習方(fang)面的貢(gong)獻

杰弗里(li)·欣頓 Geoffrey Hinton

揚·萊(lai)坎 Yann LeCun

2019年(nian) 帕特里克· 漢拉汗 Patrick M. Hanrahan對3D計算機(ji)圖(tu)形學的貢(gong)獻，以及這些(xie)技術對電影(ying)制作和計算機(ji)生成圖(tu)像（CGI）等應用的革命性影(ying)響

艾德文·卡特姆(mu) Edwin E. Catmull

2020年 杰弗里·戴維·烏爾(er)曼Jeffrey David Ullman創造(zao)了全球數百萬編(bian)程(cheng)人員使(shi)用的(de)工具(ju)和(he)教材(cai)，推進編(bian)程(cheng)語(yu)言實現(xian)的(de)基礎(chu)算法和(he)理論，并(bing)在(zai)極具(ju)影響(xiang)力的(de)書籍(ji)中綜述了這些研究成果

阿(a)爾佛雷德(de)·艾侯 Alfred Vaino Aho

2021年 杰克(ke)·唐(tang)加拉 Jack J.Dongarra通過對線性(xing)(xing)(xing)代數(shu)運(yun)算(suan)的(de)(de)高(gao)效數(shu)值算(suan)法(fa)、并行計(ji)算(suan)編程機制和性(xing)(xing)(xing)能評估工具的(de)(de)貢獻，引(yin)領(ling)了高(gao)性(xing)(xing)(xing)能計(ji)算(suan)的(de)(de)世界。

2022年 鮑(bao)勃·梅特卡(ka)夫Bob Metcalfe為引領大眾(zhong)進入超(chao)級連接時代所(suo)做的(de)貢獻

高校獲獎

截至(zhi)2021年(nian)4月，按圖靈獎得(de)主數量（校(xiao)友、教(jiao)職工以及研究人員(yuan)），世界前10名高校(xiao)名單如下：

排(pai)名(ming)(ming) 大(da)學名(ming)(ming)稱 地區 獲獎人數

1 斯(si)坦福大學(xue) 美國 29人

2 麻(ma)省理工(gong)學(xue)院 美國 26人

3 加利福尼亞大學伯(bo)克利分校 美國(guo) 25人

4 普林斯頓大學(xue) 美國(guo) 16人(ren)

5 哈佛大學 美國 14人

6 卡耐基梅隆大學 美國 13人(ren)

7 紐約大學(xue) 美國(guo) 8人(ren)

8 劍(jian)橋大學 英國(guo) 7人

9（并列） 加州理工學(xue)院(yuan) 美(mei)國 6人(ren)

9（并列(lie)） 密歇(xie)根大學 美國 6人

9（并列） 牛津大學 英國 6人(ren)

創始人物

艾倫·麥席(xi)森·圖(tu)靈(ling)(ling)(ling)（Alan Mathison Turing，1912年(nian)(nian)6月23日(ri)－1954年(nian)(nian)6月7日(ri)），英國(guo)數(shu)學(xue)(xue)(xue)家、邏(luo)輯學(xue)(xue)(xue)家，被稱為計算(suan)(suan)機之父、人工(gong)智能(neng)之父。1931年(nian)(nian)，圖(tu)靈(ling)(ling)(ling)進(jin)入(ru)劍(jian)橋(qiao)大學(xue)(xue)(xue)國(guo)王學(xue)(xue)(xue)院(yuan)，畢業(ye)后(hou)到美國(guo)普林(lin)斯(si)頓大學(xue)(xue)(xue)攻讀博(bo)士學(xue)(xue)(xue)位。二(er)戰爆發(fa)后(hou)，回(hui)到劍(jian)橋(qiao)大學(xue)(xue)(xue)，后(hou)曾協助軍方(fang)破解(jie)德國(guo)的(de)(de)著名(ming)密碼系統Enigma，幫助盟軍取得(de)了(le)(le)二(er)戰的(de)(de)勝利。圖(tu)靈(ling)(ling)(ling)對于人工(gong)智能(neng)的(de)(de)發(fa)展(zhan)有諸多貢(gong)獻(xian)，提出了(le)(le)一(yi)種(zhong)用于判定機器(qi)是否具有智能(neng)的(de)(de)試驗方(fang)法(fa)，即圖(tu)靈(ling)(ling)(ling)試驗。每年(nian)(nian)都有試驗的(de)(de)比賽。此外(wai)，圖(tu)靈(ling)(ling)(ling)提出的(de)(de)著名(ming)的(de)(de)圖(tu)靈(ling)(ling)(ling)機模型為現代計算(suan)(suan)機的(de)(de)邏(luo)輯工(gong)作方(fang)式奠定了(le)(le)基礎(chu)。

二(er)戰(zhan)結(jie)束(shu)后，圖(tu)靈因(yin)同(tong)性(xing)戀(lian)傾向在當時(shi)的英國遭受(shou)歧視，被政府定罪，被迫接(jie)受(shou)“治(zhi)療”，職業(ye)生(sheng)(sheng)涯(ya)結(jie)束(shu)。1952年，圖(tu)靈因(yin)同(tong)性(xing)戀(lian)傾向被定為嚴重猥褻罪，職業(ye)生(sheng)(sheng)涯(ya)就此毀掉。1954年，圖(tu)靈死亡。

直到2013年12月24日，英(ying)(ying)國司法部長宣(xuan)布(bu)：圖靈當時(shi)受到的(de)判(pan)決“不公(gong)，有歧(qi)視”，現已獲得女王伊麗莎(sha)白二世的(de)赦(she)(she)免，稱“女王的(de)赦(she)(she)免是(shi)對這位優秀人物的(de)獻禮”。同時(shi)，英(ying)(ying)國前首相卡(ka)梅倫表示：“圖靈在二戰時(shi)破解德軍(jun)密(mi)碼、拯救國家上發(fa)揮了關(guan)鍵作用，是(shi)一(yi)個了不起(qi)的(de)人”。