圖靈獎
計算機科學獎項
圖靈獎（英語：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）.
