芒果视频下载

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

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

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

獎項介紹

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

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

評審制度

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

獲獎名單

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

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

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

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

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

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

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

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

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

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

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

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

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

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

達納·斯科特(te) Dana S. Scott

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

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

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

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

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

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

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

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

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

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

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

羅伯特(te)·塔揚 Robert Tarjan

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

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

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

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

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

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

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

理查德·斯特恩斯 Richard E. Stearns

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

拉(la)吉·瑞迪 Raj Reddy

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

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

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

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

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

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

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

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

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

阿迪·薩莫爾(er) Adi Shamir

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

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

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

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

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

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

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

艾倫·愛默生 Allen Emerson

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

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

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

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

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

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

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

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

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

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

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

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

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

大衛·帕(pa)特森 David Patterson

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

杰(jie)弗里·欣頓(dun) Geoffrey Hinton

揚(yang)·萊坎 Yann LeCun

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

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

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

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

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

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

高校獲獎

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

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

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

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

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

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

5 哈佛(fo)大學 美國 14人(ren)

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

7 紐約大學 美國 8人

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

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

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

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

創始人物

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

二(er)戰結束后，圖(tu)靈因同性(xing)戀(lian)傾向在當時的英(ying)國遭受歧(qi)視，被(bei)政(zheng)府定罪，被(bei)迫接受“治療”，職業生涯結束。1952年(nian)，圖(tu)靈因同性(xing)戀(lian)傾向被(bei)定為嚴重猥褻(xie)罪，職業生涯就此(ci)毀掉。1954年(nian)，圖(tu)靈死(si)亡。

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