芒果视频下载

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

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

截至(zhi)2021年4月，世界(jie)各高校(xiao)的(de)圖靈獎(jiang)獲獎(jiang)人數(shu)依次為美國斯坦(tan)福大學（29位）、美國麻(ma)省理工(gong)學院（26位）、美國加利福尼亞大學伯(bo)克利分校(xiao)（25位）、美國普林斯頓大學（16位）、美國哈佛(fo)大學（14位）。

獎項介紹

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

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

評審制度

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

獲獎名單

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

丹尼斯·里奇 Dennis M. Ritchie

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

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

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

羅(luo)伯特·塔揚 Robert Tarjan

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

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

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

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

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

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

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

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

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

拉吉·瑞(rui)迪 Raj Reddy

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

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

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

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

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

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

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

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

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

阿迪·薩莫爾 Adi Shamir

倫納德·阿德曼 Leonard M. Adleman

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

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

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

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

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

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

艾倫·愛默生 Allen Emerson

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

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

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

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

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

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

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

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

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

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

馬丁·赫爾曼 Martin Hellman

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

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

大衛·帕(pa)特(te)森 David Patterson

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

杰弗里·欣頓 Geoffrey Hinton

揚·萊坎 Yann LeCun

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

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

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

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

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

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

高校獲獎

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

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

1 斯坦福大學 美國 29人

2 麻省理工學院 美國 26人

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

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

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

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

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

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

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

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

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

創始人物

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

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

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