芒果视频下载

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

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

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

獎項介紹

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

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

評審制度

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

獲獎名單

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

羅伯(bo)特·塔揚(yang) Robert Tarjan

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

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

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

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

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

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

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

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

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

拉吉·瑞迪(di) Raj Reddy

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

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

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

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

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

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

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

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

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

阿迪·薩莫爾 Adi Shamir

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

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

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

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

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

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

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

艾倫(lun)·愛默生 Allen Emerson

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

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

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

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

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

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

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

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

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

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

馬丁·赫爾曼 Martin Hellman

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

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

大衛·帕特(te)森 David Patterson

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

杰弗(fu)里(li)·欣頓 Geoffrey Hinton

揚(yang)·萊坎(kan) Yann LeCun

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

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

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

阿爾佛雷德·艾侯 Alfred Vaino Aho

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

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

高校獲獎

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

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

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

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

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

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

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

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

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

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

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

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

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

創始人物

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

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

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