芒果视频下载

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

圖靈(ling)獎(jiang)(jiang)一(yi)般(ban)在每年3月下(xia)旬(xun)頒發。從(cong)1966年至2020年，圖靈(ling)獎(jiang)(jiang)共授(shou)予74名獲(huo)(huo)獎(jiang)(jiang)者(zhe)，以美(mei)國(guo)、歐洲科(ke)學(xue)(xue)家為主。2000年，中國(guo)科(ke)學(xue)(xue)家姚期智獲(huo)(huo)圖靈(ling)獎(jiang)(jiang)，這是中國(guo)人(ren)首次(ci)也是唯(wei)一(yi)一(yi)次(ci)獲(huo)(huo)得圖靈(ling)獎(jiang)(jiang)。2022年3月30日(ri)，美(mei)國(guo)計算(suan)機協(xie)會(hui)（ACM）公布了2021年度(du)圖靈(ling)獎(jiang)(jiang)獲(huo)(huo)獎(jiang)(jiang)者(zhe)。美(mei)國(guo)田納(na)西(xi)大學(xue)(xue)電氣工程和計算(suan)機科(ke)學(xue)(xue)系教(jiao)授(shou)Jack J.Dongarra因(yin)對數字(zi)算(suan)法和庫的開創(chuang)性貢(gong)獻摘得這一(yi)榮譽(yu)。

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

獎項介紹

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

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

評審制度

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

獲獎名單

圖靈獎得主分(fen)布在幾十個(ge)(ge)領域(yu)，排(pai)在前(qian)六(liu)的(de)領域(yu)有：編(bian)譯原理、程(cheng)序設(she)計語言、計算(suan)復雜(za)性理論、人工智能、密(mi)碼學(xue)(xue)、數據庫。在某種意(yi)義上可大致認為，前(qian)三個(ge)(ge)領域(yu)與計算(suan)機科學(xue)(xue)本身更密(mi)切一(yi)些，后三個(ge)(ge)領域(yu)與軍民應用更密(mi)切一(yi)些。

年(nian)份 中文(wen)譯名(ming) 姓(xing)名(ming) 貢(gong)獻領域/獲獎(jiang)理由

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

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

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

1969年 馬文·明斯基 Marvin Minsky 人工智能

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

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

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

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

1974年 高德納 Donald E. Knuth 算法分析(xi)、程(cheng)序設計語言(yan)的設計、程(cheng)序設計

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

赫(he)伯特·西(xi)蒙 Herbert A. Simon

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

達納·斯科特 Dana S. Scott

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

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

1979年 肯尼斯·艾佛(fo)森 Kenneth E. Iverson 程(cheng)序(xu)設(she)計(ji)語(yu)(yu)言和(he)數學符號，互動(dong)系統的設(she)計(ji)，運用APL進行教學，程(cheng)序(xu)設(she)計(ji)語(yu)(yu)言的理(li)論(lun)與實踐

1980年 東尼(ni)·霍爾 C. Antony R. Hoare 程序設(she)計語言的(de)定(ding)義與設(she)計

1981年 埃德加·科德 Edgar F. Codd 數(shu)據庫(ku)系統(tong)，尤(you)其是關系型(xing)數(shu)據庫(ku)

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

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

丹尼斯·里奇 Dennis M. Ritchie

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

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

1986年 約(yue)翰·霍(huo)普克羅夫特 John Hopcroft 算(suan)法(fa)和數(shu)據結構的設計與分析

羅伯特·塔(ta)揚 Robert Tarjan

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

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

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

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

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

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

1993年 尤(you)里斯(si)·哈特馬(ma)尼(ni)斯(si) Juris Hartmanis 計算復雜度理(li)論

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

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

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

1995年(nian) 曼紐爾·布盧姆 Manuel Blum 計算復雜(za)度(du)理(li)論，及(ji)其在密碼學和程序校驗上的應用

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

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

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

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

2000年 姚期智(zhi) Andrew Chi-Chih Yao 計算理論，包(bao)括(kuo)偽隨機(ji)數生成，密碼學(xue)與通(tong)信復(fu)雜(za)度

2001年 奧利-約翰·達爾(er) Ole-Johan Dahl 面向對(dui)象編程

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

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

阿迪·薩莫爾(er) Adi Shamir

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

2003年(nian) 艾倫(lun)·凱 Alan Kay 面向對(dui)象編程

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

羅伯特·卡恩 Robert E. Kahn

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

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

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

艾倫·愛默生(sheng) Allen Emerson

約瑟夫·斯發基(ji)斯 Joseph Sifakis

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

2009年 查爾(er)斯·薩克爾(er) Charles Thacker 幫助設計、制造第(di)一款現(xian)代(dai)PC

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

2011年 猶大·伯爾 Judea Pearl 人工智(zhi)能

2012年 莎菲(fei)·戈德瓦塞爾 Shafi Goldwasser 在(zai)密(mi)碼學和復雜理論領域做出(chu)創舉性工作

希爾維奧·米卡利 Silvio Micali

2013年 萊斯利·蘭伯特 Leslie Lamport 在提升計算機(ji)系統的可靠(kao)性(xing)(xing)及穩定(ding)性(xing)(xing)領域的杰出貢獻

2014年 邁(mai)克爾·斯通布(bu)雷克 Michael Stonebraker 對現代數(shu)據庫系(xi)統底層(ceng)的概念與實踐(jian)所做出(chu)的基礎(chu)性貢獻

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

馬丁·赫爾曼(man) Martin Hellman

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

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

大衛·帕特森 David Patterson

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

杰弗里·欣頓 Geoffrey Hinton

揚·萊坎 Yann LeCun

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

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

2020年 杰(jie)弗里·戴維·烏(wu)爾曼Jeffrey David Ullman創(chuang)造了全球(qiu)數百(bai)萬(wan)編(bian)(bian)程人員(yuan)使用的(de)工(gong)具和教材(cai)，推(tui)進(jin)編(bian)(bian)程語言實現的(de)基礎算法和理論，并(bing)在極具影響(xiang)力的(de)書籍中(zhong)綜述了這(zhe)些研究成果(guo)

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

2021年 杰(jie)克·唐加拉(la) Jack J.Dongarra通過對線性代(dai)數(shu)運算(suan)的高效數(shu)值(zhi)算(suan)法、并(bing)行計算(suan)編(bian)程機制和性能評估工具的貢獻，引領了(le)高性能計算(suan)的世界(jie)。

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

高校獲獎

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

排名 大學(xue)名稱 地區 獲獎人數

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

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

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

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

5 哈佛大學 美國(guo) 14人

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

7 紐約大學 美國 8人

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

9（并列） 加州理(li)工學院 美國 6人

9（并列） 密歇根大學 美國 6人

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

創始人物

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

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

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