芒果视频下载

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

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

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

獎項介紹

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

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

評審制度

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

獲獎名單

圖靈(ling)獎得主(zhu)分布(bu)在(zai)(zai)幾十(shi)個領(ling)(ling)域(yu)，排在(zai)(zai)前六的領(ling)(ling)域(yu)有：編譯原理(li)、程序設計語言(yan)、計算復雜性(xing)理(li)論、人工(gong)智能、密碼學(xue)、數據庫。在(zai)(zai)某種意義上可(ke)大致認為，前三(san)(san)個領(ling)(ling)域(yu)與(yu)計算機科學(xue)本身更(geng)密切一(yi)些，后三(san)(san)個領(ling)(ling)域(yu)與(yu)軍(jun)民應用更(geng)密切一(yi)些。

年份 中(zhong)文譯(yi)名 姓名 貢獻領域/獲獎理由(you)

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

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

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

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

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

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

1972年 艾茲格(ge)·迪(di)科斯(si)徹 Edsger Dijkstra 程序設計(ji)語言的科學(xue)與藝(yi)術

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

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

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

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

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

達納·斯科特 Dana S. Scott

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

1978年 羅伯特(te)·弗洛伊德 Robert W. Floyd 設(she)計高效可(ke)靠(kao)軟件的方(fang)法(fa)學

1979年 肯尼(ni)斯·艾(ai)佛森 Kenneth E. Iverson 程序設(she)計(ji)語(yu)言和數(shu)學(xue)符(fu)號，互動系統(tong)的設(she)計(ji)，運(yun)用(yong)APL進行教學(xue)，程序設(she)計(ji)語(yu)言的理論(lun)與實踐

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

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

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

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

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

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

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

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

羅伯特·塔揚(yang) Robert Tarjan

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

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

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

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

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

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

1993年(nian) 尤里斯·哈(ha)特(te)馬尼斯 Juris Hartmanis 計(ji)算復(fu)雜(za)度理論

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

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

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

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

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

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

1998年 詹姆斯(si)·尼(ni)古(gu)拉·格雷 James Gray 數(shu)據庫與(yu)事(shi)務處(chu)理

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

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

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

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

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

阿迪·薩莫(mo)爾 Adi Shamir

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

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

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

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

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

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

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

艾倫(lun)·愛默(mo)生(sheng) Allen Emerson

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

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

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

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

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

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

希爾(er)維奧·米(mi)卡利 Silvio Micali

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

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

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

馬丁·赫(he)爾曼 Martin Hellman

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

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

大衛·帕(pa)特森 David Patterson

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

杰弗里·欣頓(dun) Geoffrey Hinton

揚·萊坎 Yann LeCun

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

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

2020年 杰(jie)弗(fu)里(li)·戴維·烏爾曼Jeffrey David Ullman創造(zao)了(le)全(quan)球(qiu)數百萬(wan)編程(cheng)人員使用的工具(ju)和教(jiao)材，推(tui)進編程(cheng)語言(yan)實(shi)現的基礎算(suan)法和理論(lun)，并在(zai)極具(ju)影響(xiang)力的書籍中綜述了(le)這些研(yan)究成果

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

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

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

高校獲獎

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

排名 大學名稱 地(di)區 獲(huo)獎人數(shu)

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

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

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

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

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

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

7 紐約(yue)大學 美(mei)國 8人

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

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

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

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

創始人物

艾(ai)倫·麥席森·圖(tu)靈(ling)(ling)(ling)（Alan Mathison Turing，1912年(nian)6月23日(ri)－1954年(nian)6月7日(ri)），英(ying)國(guo)(guo)數學(xue)(xue)家(jia)、邏輯學(xue)(xue)家(jia)，被稱(cheng)為(wei)計(ji)算機(ji)之父、人工(gong)智(zhi)(zhi)能(neng)之父。1931年(nian)，圖(tu)靈(ling)(ling)(ling)進入劍(jian)橋大學(xue)(xue)國(guo)(guo)王(wang)學(xue)(xue)院，畢業后到美國(guo)(guo)普(pu)林斯頓大學(xue)(xue)攻讀(du)博士學(xue)(xue)位。二戰(zhan)爆發(fa)后，回到劍(jian)橋大學(xue)(xue)，后曾(ceng)協(xie)助軍(jun)方破解德國(guo)(guo)的著名密碼系統(tong)Enigma，幫助盟軍(jun)取得(de)了(le)二戰(zhan)的勝利。圖(tu)靈(ling)(ling)(ling)對于人工(gong)智(zhi)(zhi)能(neng)的發(fa)展有諸多(duo)貢獻，提出了(le)一種用于判定(ding)機(ji)器是否具有智(zhi)(zhi)能(neng)的試驗(yan)方法，即圖(tu)靈(ling)(ling)(ling)試驗(yan)。每年(nian)都有試驗(yan)的比賽。此外，圖(tu)靈(ling)(ling)(ling)提出的著名的圖(tu)靈(ling)(ling)(ling)機(ji)模型為(wei)現代計(ji)算機(ji)的邏輯工(gong)作方式奠定(ding)了(le)基礎。

二戰結束后，圖靈因(yin)同(tong)(tong)性戀傾向(xiang)在當(dang)時的英國遭受歧視(shi)，被(bei)政府(fu)定(ding)罪，被(bei)迫接受“治療”，職業(ye)生涯(ya)結束。1952年，圖靈因(yin)同(tong)(tong)性戀傾向(xiang)被(bei)定(ding)為嚴(yan)重猥褻(xie)罪，職業(ye)生涯(ya)就此毀掉。1954年，圖靈死亡(wang)。

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