圖靈獎
美國計算機協會獎勵對計算機事業作出重要貢獻的個人的獎項
圖靈獎(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年至今共計有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日,英國司法部長宣布:圖靈當時受到的判決“不公,有歧視”,現已獲得女王伊麗莎白二世的赦免,稱“女王的赦免是對這位優秀人物的獻禮”。同時,英國前首相卡梅倫表示:“圖靈在二戰時破解德軍密碼、拯救國家上發揮了關鍵作用,是一個了不起的人”。
由於圖靈獎對獲獎條件要求極高,評獎程序又是極嚴,一般每年只獎勵一名計算機科學家,只有極少數年度有兩名合作者或在同一方向作出貢獻的科學家共享此獎。因此它是計算機界最負盛名、最崇高的一個獎項,有“計算機界的諾貝爾獎”之稱。
獎盃
獎金金額不算太高,設獎初期為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 Thompson | UNⅨ操作系統和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 Milner | LCF,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. Cerf | TCP/IP協議 |
羅伯特·卡恩 | Robert E. Kahn | ||
2005年 | 彼得·諾爾 | Peter Naur | Algol 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人 |