芒果视频下载

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

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

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

獎項介紹

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

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

評審制度

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

獲獎名單

圖靈獎(jiang)得主分布(bu)在(zai)幾(ji)十個(ge)領(ling)域，排在(zai)前六的領(ling)域有(you)：編譯原(yuan)理、程(cheng)序設計語言(yan)、計算復雜性理論(lun)、人工智能、密(mi)碼學、數據庫。在(zai)某種(zhong)意(yi)義上可大致(zhi)認(ren)為，前三(san)個(ge)領(ling)域與(yu)計算機科學本身(shen)更密(mi)切一些，后三(san)個(ge)領(ling)域與(yu)軍民應(ying)用更密(mi)切一些。

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

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

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

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

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

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

1971年 約翰·麥卡錫 John McCarthy 人工智能

1972年 艾茲格·迪科(ke)斯徹(che) Edsger Dijkstra 程(cheng)序設計語言(yan)的科(ke)學與藝術(shu)

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

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

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

赫伯特·西蒙 Herbert A. Simon

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

達納·斯科特 Dana S. Scott

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

1978年 羅伯特·弗洛伊德 Robert W. Floyd 設計(ji)高效可靠軟件(jian)的方法(fa)學(xue)

1979年(nian) 肯尼斯·艾佛森 Kenneth E. Iverson 程序設(she)計(ji)語言和數學(xue)符號，互動系(xi)統的(de)設(she)計(ji)，運(yun)用APL進行教(jiao)學(xue)，程序設(she)計(ji)語言的(de)理論與實踐

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

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

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

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

丹尼斯·里奇 Dennis M. Ritchie

1984年(nian) 尼(ni)古拉斯·沃(wo)斯 Niklaus Wirth 程序(xu)設(she)計語言設(she)計、程序(xu)設(she)計

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

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

羅伯特(te)·塔(ta)揚 Robert Tarjan

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

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

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

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

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

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

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

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

1994年(nian) 愛德(de)華·費根鮑(bao)姆 Edward Feigenbaum 大規(gui)模人工智能(neng)系統

拉吉·瑞迪 Raj Reddy

1995年(nian) 曼紐爾(er)·布盧(lu)姆 Manuel Blum 計算(suan)復雜度理論，及其在密碼學(xue)和程序校驗上的(de)應(ying)用

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

1997年 道格拉斯(si)·恩格爾巴特 Douglas Engelbart 互動計(ji)算

1998年 詹姆斯·尼古(gu)拉·格雷 James Gray 數(shu)據庫(ku)與事務(wu)處理(li)

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

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

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

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

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

阿迪·薩(sa)莫爾 Adi Shamir

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

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

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

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

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

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

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

艾倫(lun)·愛默生 Allen Emerson

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

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

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

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

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

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

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

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

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

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

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

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

2017年 約翰·軒尼詩(shi) John Hennessy 開發(fa)了(le)RISC微處理(li)器并且讓這一概念流行(xing)起來的工程

大衛(wei)·帕特森 David Patterson

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

杰弗(fu)里·欣頓 Geoffrey Hinton

揚·萊(lai)坎 Yann LeCun

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

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

2020年 杰弗里·戴(dai)維·烏爾曼(man)Jeffrey David Ullman創(chuang)造了全球數百萬編程人(ren)員(yuan)使用的工具和(he)教(jiao)材，推(tui)進編程語言實現的基(ji)礎算法和(he)理論，并在極具影響力的書(shu)籍中綜述了這(zhe)些研究成(cheng)果(guo)

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

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

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

高校獲獎

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

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

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

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

3 加利(li)福尼(ni)亞(ya)大學伯克利(li)分校 美(mei)國 25人(ren)

4 普林斯頓大學 美國 16人

5 哈佛大學 美國 14人

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

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

8 劍橋大學 英國 7人

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

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

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

創始人物

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

二戰(zhan)結束后，圖(tu)靈(ling)因同(tong)性戀傾向在當時(shi)的英國遭受(shou)歧視(shi)，被(bei)政府(fu)定(ding)罪(zui)，被(bei)迫(po)接受(shou)“治(zhi)療”，職(zhi)(zhi)業生涯結束。1952年，圖(tu)靈(ling)因同(tong)性戀傾向被(bei)定(ding)為(wei)嚴(yan)重猥(wei)褻罪(zui)，職(zhi)(zhi)業生涯就此毀(hui)掉。1954年，圖(tu)靈(ling)死(si)亡(wang)。

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