圖靈獎(英語:ACM A.M. Turing Award),又譯杜林獎A.M.圖靈獎[2],是電腦協會(ACM)於1966年設立的獎項,專門獎勵對電腦事業作出重要貢獻的個人。其名稱取自世界電腦科學的先驅、英國科學家、曼徹斯特大學教授艾倫·圖靈A.M. Turing),這個獎設立目的之一是紀念這位現代電腦科學的奠基者。獲獎者必須是在電腦領域具有持久而重大的先進性的技術貢獻。大多數獲獎者是電腦科學家。圖靈獎是電腦界最負盛名的獎項,有「電腦界諾貝爾獎」之稱。

Quick Facts 圖靈獎 (ACM Turing Award), 授予對象 ...
圖靈獎
(ACM Turing Award)
Thumb
Stephen Kettle英語Stephen Kettle艾倫·圖靈的塑像,位於布萊切利園
授予對象電腦科學作出重要貢獻的個人
國家/地區美國
主辦單位電腦協會 (ACM)
獎勵US $1,000,000[1]
首次頒發1966年
最近頒發2023年
官方網站amturing.acm.org
Close

圖靈獎對獲獎者的要求極高,評獎程序也極嚴,一般每年只獎勵一名電腦科學家,只有極少數年度有兩名以上在同一方向上做出貢獻的科學家同時獲獎。2014年11月13日之前圖靈獎由英特爾公司以及Google公司贊助,獎金為250,000美元。2014年11月13日,雖然英特爾退出贊助,Google反而將獎金提高到1,000,000美元,和諾貝爾獎獎金相近。[3]

每年,美國電腦協會將要求提名人推薦本年度的圖靈獎候選人,並附加一份200到500字的文章,說明被提名者為什麼應獲此獎。任何人都可成為提名人。美國電腦協會將組成評選委員會對被提名者進行嚴格的評審,並最終確定當年的獲獎者。

圖靈獎獲得者

More information 年份, 姓名 ...
年份 姓名 貢獻領域
1966年 艾倫·佩利 進階程式設計技巧,編譯器構造
1967年 莫里斯·威爾克斯 儲存程序式電腦EDSACEDSAC 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年 費爾南多·考巴托 CTSSMultics
1991年 羅賓·米爾納 LCFML語言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年 朱迪亞·珀爾 通過概率論因果推理英語Causal reasoning人工智慧領域作出的根本性貢獻
2012年 莎菲·戈德瓦塞爾 在密碼科學領域裡,於複雜理論的基礎之上,做出變革性工作;並領先發展出新的具有數學可證明性的有效驗證機制[6]
希爾維奧·米卡利
2013年 萊斯利·蘭波特 對於分散式及並形系統的理論與實踐具有基礎性貢獻,尤其是諸如因果邏輯時序(causality and logical clocks)、安全性與存活度(safety and liveness)、複製狀態機(replicated state machines)及循序一致性英語sequential consistencysequential consistency)等理論概念的發明[7]
2014年 麥可·斯通布雷克 對現代資料庫的概念和實踐作出的根本性貢獻
2015年 惠特菲爾德·迪菲 發明迪菲-赫爾曼金鑰交換,對公開金鑰加密技術有重大貢獻[8]
馬丁·赫爾曼
2016年 提姆·柏內茲-李 發明了全球資訊網、第一個瀏覽器和使得全球資訊網得以擴充的基礎協定及演算法[9]
2017年 約翰·軒尼詩 開創了一種系統的、定量的方法來設計和評價電腦架構,並對微處理器行業產生了持久的影響。[10]
大衛·帕特森
2018年 約書亞·本希奧 深度學習[11]
傑弗里·辛頓
楊立昆
2019年 艾德文·卡特姆 對於3D電腦圖學的基本貢獻,以及這些技術對電影製作和其他應用中的電腦生成圖像(CGI)的革命性影響。[12]
派屈克·漢拉恩
2020年 阿爾佛雷德·艾侯 對程式語言實現的基礎性演算法和理論的貢獻。[13]
傑弗瑞·烏爾曼
2021年 傑克·唐加拉 對數值演算法和庫的開創性貢獻,使高效能計算軟體在40多年來跟上了指數級硬體改進的步伐。[14]
2022年 羅伯特·梅特卡夫 發明,標準化以及商業化以太網[15]
2023年 阿維·威格森 計算理論,尤其於隨機性以及理論電腦科學多年的前沿知識貢獻。[16]
Close

世界各大學圖靈獎人數

下表展示1966年至2021年世界各高校圖靈獎人數分布(只展示前15名)。

More information 排名, 大學 ...
排名 大學 圖靈獎總人數 校友 長期教職員 短期教職員 重複*
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
Close

*:校友、長期教職員、短期教職員的重複計算人數。

參考文獻

外部連結

參見

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.