圖靈獎
計算機科學獎項
圖靈獎（英語：ACM A.M. Turing Award），又譯杜林獎、A.M.圖靈獎[2]，是電腦協會（ACM）於1966年設立的獎項，專門獎勵對電腦事業作出重要貢獻的個人。其名稱取自世界電腦科學的先驅、英國科學家、曼徹斯特大學教授艾倫·圖靈（A.M. Turing），這個獎設立目的之一是紀念這位現代電腦科學的奠基者。獲獎者必須是在電腦領域具有持久而重大的先進性的技術貢獻。大多數獲獎者是電腦科學家。圖靈獎是電腦界最負盛名的獎項，有「電腦界諾貝爾獎」之稱。
| 圖靈獎 （ACM Turing Award） | |
|---|---|
 | |
| 授予對象 | 為電腦科學作出重要貢獻的個人 |
| 國家／地區 | 美國 |
| 主辦單位 | 電腦協會 (ACM) |
| 獎勵 | US $1,000,000[1] |
| 首次頒發 | 1966年 |
| 最近頒發 | 2023年 |
| 官方網站 | amturing |
圖靈獎對獲獎者的要求極高，評獎程序也極嚴，一般每年只獎勵一名電腦科學家，只有極少數年度有兩名以上在同一方向上做出貢獻的科學家同時獲獎。2014年11月13日之前圖靈獎由英特爾公司以及Google公司贊助，獎金為250,000美元。2014年11月13日，雖然英特爾退出贊助，Google反而將獎金提高到1,000,000美元，和諾貝爾獎獎金相近。[3]
每年，美國電腦協會將要求提名人推薦本年度的圖靈獎候選人，並附加一份200到500字的文章，說明被提名者為什麼應獲此獎。任何人都可成為提名人。美國電腦協會將組成評選委員會對被提名者進行嚴格的評審，並最終確定當年的獲獎者。
圖靈獎獲得者
編輯| 年份 | 姓名 | 貢獻領域 |
|---|---|---|
| 1966年 | 艾倫·佩利 | 進階程式設計技巧，編譯器構造 |
| 1967年 | 莫里斯·威爾克斯 | 儲存程序式電腦EDSAC，EDSAC 2，程式庫 |
| 1968年 | 理察·衛斯里·漢明 | 數值方法，自動編碼系統，錯誤檢測和糾錯碼 |
| 1969年 | 馬文·閔斯基 | 人工智慧 |
| 1970年 | 詹姆斯·維爾金森 | 數值分析，線性代數，倒退錯誤分析 |
| 1971年 | 約翰·麥卡錫 | 人工智慧 |
| 1972年 | 艾茲赫爾·戴克斯特拉 | 程式設計語言的科學與藝術 |
| 1973年 | 查理士·巴赫曼 | 資料庫技術 |
| 1974年 | 高德納 | 演算法分析、程式設計語言的設計、程式設計 |
| 1975年 | 艾倫·紐厄爾 | 人工智慧，人類認知心理學和列表處理（list processing） |
| 赫伯特·西蒙 | ||
| 1976年 | 麥可·拉賓 | 非確定性自動機 |
| 達納·斯科特 | ||
| 1977年 | 約翰·巴克斯 | 進階編程系統，程式設計語言規範的形式化定義 |
| 1978年 | 羅伯特·弗洛伊德 | 設計高效可靠軟體的方法學 |
| 1979年 | 肯尼斯·艾佛森 | 程式設計語言和數學符號，互動系統的設計，運用APL進行教學，程式設計語言的理論與實踐 |
| 1980年 | 東尼·霍爾 | 程式設計語言的定義與設計 |
| 1981年 | 埃德加·科德 | 資料庫系統，尤其是關係型資料庫 |
| 1982年 | 史蒂芬·庫克 | 計算複雜度 |
| 1983年 | 肯·湯普遜 | UNIX作業系統和C語言 |
| 丹尼斯·里奇 | ||
| 1984年 | 尼克勞斯·維爾特 | 程式設計語言設計、程式設計 |
| 1985年 | 理察·卡普 | 演算法理論，尤其是NP-完全性理論 |
| 1986年 | 約翰·霍普克洛夫特 | 演算法和資料結構的設計與分析 |
| 羅伯特·塔揚 | ||
| 1987年 | 約翰·科克 | 編譯理論，大型系統的體系結構，及精簡指令集（RISC）電腦的開發 |
| 1988年 | 伊凡·蘇澤蘭 | 電腦圖學 |
| 1989年 | 威廉·卡韓 | 數值分析 |
| 1990年 | 費爾南多·考巴托 | CTSS和Multics |
| 1991年 | 羅賓·米爾納 | LCF，ML語言，CCS |
| 1992年 | 巴特勒·蘭普森 | 分散式，個人計算環境 |
| 1993年 | 尤里斯·哈特馬尼斯 | 計算複雜度理論 |
| 理察·斯特恩斯 | ||
| 1994年 | 愛德華·費根鮑姆 | 大規模人工智慧系統 |
| 拉吉·瑞迪 | ||
| 1995年 | 曼紐爾·布盧姆 | 計算複雜度理論，及其在密碼學和程式校驗上的應用 |
| 1996年 | 阿米爾·伯努利 | 時序邏輯，程式與系統驗證 |
| 1997年 | 道格拉斯·恩格爾巴特 | 互動計算 |
| 1998年 | 詹姆斯·尼古拉·格雷 | 資料庫與事務處理 |
| 1999年 | 菲德里克·布魯克斯 | 電腦架構，作業系統，軟體工程 |
| 2000年 | 姚期智[4] | 計算理論，包括偽亂數生成，密碼學與通訊複雜度 |
| 2001年 | 奧利-約翰·達爾 | 物件導向程式設計 |
| 克利斯登·奈加特 | ||
| 2002年 | 羅納德·李維斯特 | 公鑰密碼學（RSA加密演算法） |
| 阿迪·薩莫爾 | ||
| 倫納德·阿德曼 | ||
| 2003年 | 艾倫·凱 | 物件導向程式設計 |
| 2004年 | 文特·瑟夫 | TCP/IP協定 |
| 羅伯特·卡恩 | ||
| 2005年 | 彼得·諾爾 | ALGOL 60語言 |
| 2006年 | 法蘭西斯·艾倫 | 優化編譯器 |
| 2007年 [5] |
愛德蒙·克拉克 | 開發自動化方法檢測電腦硬體和軟體中的設計錯誤 |
| 艾倫·愛默生 | ||
| 約瑟夫·斯發基斯 | ||
| 2008年 | 芭芭拉·利斯科夫 | 程式語言和系統設計的實踐與理論 |
| 2009年 | 查爾斯·薩克爾 | 幫助設計、製造第一款現代PC |
| 2010年 | 萊斯利·瓦倫特 | 對眾多計算理論所做的變革性的貢獻 |
| 2011年 | 朱迪亞·珀爾 | 通過概率論和因果推理對人工智慧領域作出的根本性貢獻 |
| 2012年 | 莎菲·戈德瓦塞爾 | 在密碼科學領域裡，於複雜理論的基礎之上，做出變革性工作；並領先發展出新的具有數學可證明性的有效驗證機制[6] |
| 希爾維奧·米卡利 | ||
| 2013年 | 萊斯利·蘭波特 | 對於分散式及並形系統的理論與實踐具有基礎性貢獻，尤其是諸如因果邏輯時序（causality and logical clocks）、安全性與存活度（safety and liveness）、複製狀態機（replicated state machines）及循序一致性（sequential consistency）等理論概念的發明[7] |
| 2014年 | 麥可·斯通布雷克 | 對現代資料庫的概念和實踐作出的根本性貢獻 |
| 2015年 | 惠特菲爾德·迪菲 | 發明迪菲-赫爾曼金鑰交換，對公開金鑰加密技術有重大貢獻[8] |
| 馬丁·赫爾曼 | ||
| 2016年 | 提姆·柏內茲-李 | 發明了全球資訊網、第一個瀏覽器和使得全球資訊網得以擴充的基礎協定及演算法[9] |
| 2017年 | 約翰·軒尼詩 | 開創了一種系統的、定量的方法來設計和評價電腦架構，並對微處理器行業產生了持久的影響。[10] |
| 大衛·帕特森 | ||
| 2018年 | 約書亞·本希奧 | 深度學習[11] |
| 傑弗里·辛頓 | ||
| 楊立昆 | ||
| 2019年 | 艾德文·卡特姆 | 對於3D電腦圖學的基本貢獻，以及這些技術對電影製作和其他應用中的電腦生成圖像（CGI）的革命性影響。[12] |
| 派屈克·漢拉恩 | ||
| 2020年 | 阿爾佛雷德·艾侯 | 對程式語言實現的基礎性演算法和理論的貢獻。[13] |
| 傑弗瑞·烏爾曼 | ||
| 2021年 | 傑克·唐加拉 | 對數值演算法和庫的開創性貢獻，使高效能計算軟體在40多年來跟上了指數級硬體改進的步伐。[14] |
| 2022年 | 羅伯特·梅特卡夫 | 發明，標準化以及商業化以太網。[15] |
| 2023年 | 阿維·威格森 | 計算理論，尤其於隨機性以及理論電腦科學多年的前沿知識貢獻。[16] |
世界各大學圖靈獎人數
編輯下表展示1966年至2021年世界各高校圖靈獎人數分布（只展示前15名）。
| 排名 | 大學 | 圖靈獎總人數 | 校友 | 長期教職員 | 短期教職員 | 重複* | |
|---|---|---|---|---|---|---|---|
| 1 | 史丹佛大學 | 
|
29 | 9 | 17 | 12 | -9 |
| 2 | 麻省理工學院 |
|
26 | 6 | 16 | 11 | -7 |
| 3 | 柏克萊加州大學 |
|
26 | 11 | 12 | 12 | -9 |
| 4 | 普林斯頓大學 |
|
17 | 11 | 5 | 2 | -1 |
| 5 | 哈佛大學 |
|
14 | 9 | 5 | 4 | -4 |
| 6 | 卡耐基梅隆大學 |
|
13 | 5 | 9 | 1 | -2 |
| 7 | 紐約大學 |
|
8 | 3 | 2 | 3 | 0 |
| 8 | 劍橋大學 | 
|
7 | 5 | 2 | 3 | -3 |
| 9 | 加州理工學院 |
|
6 | 6 | 2 | 0 | -2 |
| 密西根大學 |
|
6 | 4 | 0 | 2 | 0 | |
| 牛津大學 |
|
6 | 3 | 3 | 2 | -2 | |
| 多倫多大學 | 
|
6 | 2 | 3 | 2 | -1 | |
| 13 | 哥倫比亞大學 |
|
5 | 2 | 1 | 2 | 0 |
| 洛杉磯加州大學 |
|
5 | 3 | 1 | 1 | 0 | |
| 15 | 康乃爾大學 |
|
4 | 1 | 3 | 0 | 0 |
| 芝加哥大學 |
|
4 | 3 | 0 | 1 | 0 | |
| 希伯來大學 | 
|
4 | 1 | 2 | 2 | -1 | |
*：校友、長期教職員、短期教職員的重複計算人數。
參考文獻
編輯- ^ Staff, Cacm. ACM's Turing Award prize raised to $1 million. Communications of the ACM. 2014, 57 (12): 20. doi:10.1145/2685372.
- ^ 「杜林獎」應是「圖靈獎」 （頁面存檔備份，存於網際網路檔案館），2002-04-03，石琪，HK apple
- ^ Steve Lohr. Google to Quadruple Computer Science Prize Winnings to $1 Million. Bits. November 13, 2014 [2015-01-09]. （原始內容存檔於2014-11-29） （英語）.
- ^ 王郁倫. 圖靈獎得主 姚期智：學問就在發問中 老美勇於回答 亞洲生羞於舉手. 台灣蘋果日報. 2006-10-28 [2016-04-13]. （原始內容存檔於2016-04-23）.
- ^ 2007 Turing Award Winners Announced. ddj. 2008-02-04 [2008-02-05]. （原始內容存檔於2009-11-02）.
- ^ Goldwasser, Micali Receive ACM Turing Award for Advances in Cryptography. [2013-04-30]. （原始內容存檔於2013-03-21）.
- ^ Leslie Lamport. ACM. [2014-03-25]. （原始內容存檔於2016-01-16） （英語）.
- ^ Cryptography Pioneers Receive ACM A.M. Turing Award. ACM. [2 March 2016]. （原始內容存檔於2016-03-04）.
- ^ Sir Tim Berners-Lee - A.M. Turing Award Winner. amturing.acm.org. [2017-04-04]. （原始內容存檔於2017-04-06） （英語）.
- ^ Pioneers of Modern Computer Architecture Receive ACM A.M. Turing Award. ACM. [2018-03-21]. （原始內容存檔於2018-03-25）.
- ^ Baraniuk, Chris. British-born AI expert wins Turing Award. 2019-03-27 [2019-03-27]. （原始內容存檔於2019-03-27） （英國英語）.
- ^ 2019 ACM A.M. Turing Award Laureates. awards.acm.org. [2020-03-19]. （原始內容存檔於2020-03-18）.
- ^ 2020 ACM A.M. Turing Award Laureates. awards.acm.org. 2021-03-31 [2021-03-31]. （原始內容存檔於2021-03-31） （英語）.
- ^ Open Graph Title: University of Tennessee's Jack Dongarra receives 2021 ACM A.M. Turing Award. awards.acm.org. [2022-03-30]. （原始內容存檔於2022-05-05） （英語）.
- ^ Robert Melancton Metcalfe. 計算機協會. [2023-03-22]. （原始內容存檔於2023-07-05）.
- ^ Avi Wigderson. 計算機協會. [2024-04-10]. （原始內容存檔於2024-04-10）.
