圖靈獎

美國計算機協會獎勵對計算機事業作出重要貢獻的個人的獎項

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

圖靈獎一般在每年3月下旬頒發。從1966年至2020年,圖靈獎共授予74名獲獎者,以美國、歐洲科學家為主。2000年,華人科學家姚期智獲圖靈獎,是華人第一次也是唯一一次獲得圖靈獎。

截至2021年4月,世界各高校的圖靈獎獲獎人數依次為美國斯坦福大學(29位)、美國麻省理工學院(26位)、美國加利福尼亞大學伯克利分校(25位)、美國普林斯頓大學(16位)、美國哈佛大學(14位)。

歷史沿革


圖靈獎
圖靈獎
圖靈獎是美國計算機協會於1966年設立的,又叫"A.M.圖靈獎",專門獎勵那些對計算機事業作出重要貢獻的個人。其名稱取自計算機科學的先驅、英國科學家艾倫·圖靈,這個獎設立目的之一是紀念這位科學家。
圖靈獎對獲獎者的要求極高,評獎程序極嚴,一般每年只獎勵一名計算機科學家,只有極少數年度有兩名在同一方向上做出貢獻的科學家同時獲獎。因此,儘管“圖靈”的獎金數額不算高,但它卻是計算機界最負盛名的獎項,有“計算機界諾貝爾獎”之稱。
從1966年至今共計有67名科學家獲此殊榮,其中美國學者最多,此外還有英國、瑞士、荷蘭、以色列等國少數學者。
截止至2018年,獲此殊榮的華人僅有1位,他是2000年圖靈獎得主姚期智。據相關資料統計,截止2018年,美國斯坦福大學的圖靈獎人數(校友或教職工)位列世界第一(27位),美國麻省理工學院(25位)、美國加州大學伯克利分校並列世界第二(25位);哈佛大學(14位)和普林斯頓大學(13位)分列世界第四和第五名。

創始人物

艾倫·麥席森·圖靈(Alan Mathison Turing,1912年6月23日-1954年6月7日),英國數學家、邏輯學家,被稱為計算機之父、人工智慧之父。1931年,圖靈進入劍橋大學國王學院,畢業後到美國普林斯頓大學攻讀博士學位。二戰爆發后,回到劍橋大學,后曾協助軍方破解德國的著名密碼系統Enigma,幫助盟軍取得了二戰的勝利。圖靈對於人工智慧的發展有諸多貢獻,提出了一種用於判定機器是否具有智能的試驗方法,即圖靈試驗。至今,每年都有試驗的比賽。此外,圖靈提出的著名的圖靈機模型為現代計算機的邏輯工作方式奠定了基礎。
二戰結束后,圖靈因同性戀傾向在當時的英國遭受歧視,被政府定罪,被迫接受“治療”,職業生涯結束。1954年6月7日,圖靈被發現死於家中的床上,床頭放著一個被咬了一口的蘋果,其中含有氰化物,警方調查后結論為服毒自殺。直到2013年12月24日,英國司法部長宣布:圖靈當時受到的判決“不公,有歧視”,現已獲得女王伊麗莎白二世的赦免,稱“女王的赦免是對這位優秀人物的獻禮”。同時,英國前首相卡梅倫表示:“圖靈在二戰時破解德軍密碼、拯救國家上發揮了關鍵作用,是一個了不起的人”。

評選規則


獲獎條件

由於圖靈獎對獲獎條件要求極高,評獎程序又是極嚴,一般每年只獎勵一名計算機科學家,只有極少數年度有兩名合作者或在同一方向作出貢獻的科學家共享此獎。因此它是計算機界最負盛名、最崇高的一個獎項,有“計算機界的諾貝爾獎”之稱。
獎盃
獎盃
每年,美國計算機協會將要求提名人推薦本年度的圖靈獎候選人,並附加一份200到500字的文章,說明被提名者為什麼應獲此獎。任何人都可成為提名人。美國計算機協會將組成評選委員會,對被提名者進行嚴格的評審,並最終確定當年的獲獎者。

獎金金額

獎金金額不算太高,設獎初期為20萬美元,1989年起增到25萬美元,獎金通常由計算機界的一些大企業提供(通過與ACM簽訂協議)。目前圖靈獎由Google公司贊助,獎金為1,000,000美元。

歷屆名單


從1966年至今共67名得主,按國籍分,美國學者最多,歐洲學者偶見之,華人學者目僅有2000年圖靈獎得主姚期智(現在清華大學、香港中文大學)。
67名得主分佈在幾十個小領域,排在前六的領域有:編譯原理、程序設計語言,計算複雜性理論,人工智慧,密碼學,以及資料庫(4名)。在某種意義上,可大致認為,前三個領域與計算機科學本身更密切一些,后三個領域與軍民應用更密切一些。
年份中文譯名姓名貢獻領域/獲獎理由
1966年艾倫·佩利Alan J. Perlis高級程序設計技巧,編譯器構造
1967年莫里斯·威爾克斯Maurice V. Wilkes存儲程序式計算機EDSAC,程序庫
1968年理查德·衛斯里·漢明Richard Hamming數值方法,自動編碼系統,錯誤檢測和糾錯碼
1969年馬文·明斯基Marvin Minsky人工智慧
1970年詹姆斯·維爾金森James H. Wilkinson數值分析,線性代數,倒退錯誤分析
1971年約翰·麥卡錫John McCarthy人工智慧
1972年艾茲格·迪科斯徹Edsger Dijkstra程序設計語言的科學與藝術
1973年查理士·巴赫曼Charles W. Bachman資料庫技術
1974年高德納Donald E. Knuth演演算法分析、程序設計語言的設計、程序設計
1975年艾倫·紐厄爾Allen Newell人工智慧,人類認知心理學和列表處理(list processing)
赫伯特·西蒙Herbert A. Simon
1976年邁克爾·拉賓Michael O. Rabin非確定性自動機
達納·斯科特Dana S. Scott
1977年約翰·巴克斯John Backus高級編程系統,程序設計語言規範的形式化定義
1978年羅伯特·弗洛伊德Robert W. Floyd設計高效可靠軟體的方法學
1979年肯尼斯·艾佛森Kenneth E. Iverson程序設計語言和數學符號,互動系統的設計,運用 APL進行教學,程序設計語言的理論與實踐
1980年東尼·霍爾C. Antony R. Hoare程序設計語言的定義與設計
1981年埃德加·科德Edgar F. Codd資料庫系統,尤其是關係型資料庫
1982年史提芬·古克Stephen A. Cook計算複雜度
1983年肯·湯普遜Ken ThompsonUNⅨ操作系統和C語言
丹尼斯·里奇Dennis M. Ritchie
1984年尼古拉斯·沃斯Niklaus Wirth程序設計語言設計、程序設計
1985年理查德·卡普Richard M. Karp演演算法理論,尤其是NP-完全性理論
1986年約翰·霍普克羅夫特John Hopcroft演演算法和數據結構的設計與分析
羅伯特·塔揚Robert Tarjan
1987年約翰·科克John Cocke編譯理論,大型系統的體系結構,及精簡指令集(RISC)計算機的開發
1988年伊凡·蘇澤蘭Ivan Sutherland計算機圖形學
1989年威廉·卡亨William Morton Kahan數值分析
1990年費爾南多·考巴脫Fernando J. CorbatóCTSS和Multics
1991年羅賓·米爾納Robin MilnerLCF,ML語言,CCS
1992年巴特勒·蘭普森Butler W. Lampson分散式,個人計算環境
1993年尤里斯·哈特馬尼斯Juris Hartmanis計算複雜度理論
理查德·斯特恩斯Richard E. Stearns
1994年愛德華·費根鮑姆Edward Feigenbaum大規模人工智慧系統
拉吉·瑞迪Raj Reddy
1995年曼紐爾·布盧姆Manuel Blum計算複雜度理論,及其在密碼學和程序校驗上的應用
1996年阿米爾·伯努利Amir Pnueli時序邏輯,程序與系統驗證
1997年道格拉斯·恩格爾巴特Douglas Engelbart互動計算
1998年詹姆斯·尼古拉·格雷James Gray資料庫與事務處理
1999年弗雷德里克·布魯克斯Frederick Phillips Brooks,Jr.計算機體系結構,操作系統,軟體工程
2000年姚期智Andrew Chi-Chih Yao計算理論,包括偽隨機數生成,密碼學與通信複雜度
2001年奧利-約翰·達爾Ole-Johan Dahl面向對象編程
克利斯登·奈加特Kristen Nygaard
2002年羅納德·李維斯特Ronald L. Rivest公鑰密碼學(RSA加密演演算法)
阿迪·薩莫爾Adi Shamir
倫納德·阿德曼Leonard M. Adleman
2003年艾倫·凱Alan Kay面向對象編程
2004年文特·瑟夫Vinton G. CerfTCP/IP協議
羅伯特·卡恩Robert E. Kahn
2005年彼得·諾爾Peter NaurAlgol 60語言
2006年法蘭西斯·艾倫Frances E. Allen優化編譯器
2007年愛德蒙·克拉克Edmund M. Clarke開發自動化方法檢測計算機硬體和軟體中的設計錯誤
艾倫·愛默生Allen Emerson
約瑟夫·斯發基斯Joseph Sifakis
2008年芭芭拉·利斯科夫Barbara Liskov編程語言和系統設計的實踐與理論
2009年查爾斯·薩克爾Charles Thacker幫助設計、製造第一款現代PC
2010年萊斯利·瓦倫特Leslie Valiant對眾多計算理論所做的變革性的貢獻
2011年猶大·伯爾Judea Pearl人工智慧
2012年莎菲·戈德瓦塞爾Shafi Goldwasser在密碼學和複雜理論領域做出創舉性工作
希爾維奧·米卡利Silvio Micali
2013年萊斯利·蘭伯特Leslie Lamport在提升計算機系統的可靠性及穩定性領域的傑出貢獻
2014年邁克爾·斯通布雷克Michael Stonebraker對現代資料庫系統底層的概念與實踐所做出的基礎性貢獻
2015年惠特菲爾德·迪菲Whitfield Diffie非對稱加密的創始人
馬丁·赫爾曼Martin Hellman
2016年蒂姆·伯納斯·李Tim Berners-Lee萬維網的發明者
2017年約翰·軒尼詩John Hennessy開發了RISC微處理器並且讓這一概念流行起來的工程
大衛·帕特森David Patterson
2018年約舒亞·本希奧Yoshua Bengio在人工智慧深度學習方面的貢獻
傑弗里·欣頓Geoffrey Hinton
揚·萊坎Yann LeCun
2019年帕特里克· 漢拉汗Patrick M. Hanrahan對3D計算機圖形學的貢獻,以及這些技術對電影製作和計算機生成圖像(CGI)等應用的革命性影響
艾德文·卡特姆Edwin E. Catmull
2020年傑弗里·戴維·烏爾曼Jeffrey David Ullman創造了全球數百萬編程人員使用的工具和教材,推進編程語言實現的基礎演演算法和理論,並在極具影響力的書籍中綜述了這些研究成果
阿爾佛雷德·艾侯Alfred Vaino Aho

獎項之最


各高校圖靈獎得主

圖靈獎(Turing Award)自1966年首次頒發,截止2018年共授予了67位個人。據相關資料統計,截止2018年,按圖靈獎得主數量(校友、教職工以及研究人員),前10名高校名單如下:
排名大學名稱地區圖靈獎人數
1斯坦福大學美國27人
2(並列)麻省理工學院美國25人
2(並列)加州大學伯克利分校美國25人
4哈佛大學美國14人
5普林斯頓大學美國13人
6卡耐基梅隆大學美國12人
7紐約大學美國7人
8(並列)加州理工學院美國6人
8(並列)劍橋大學英國6人
8(並列)密歇根大學美國6人
8(並列)牛津大學英國6人