Remove ads

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

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

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

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

Remove ads

圖靈獎獲得者

更多信息 年份, 姓名 ...
年份 姓名 貢獻領域
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]
关闭
Remove ads

世界各大學圖靈獎人數

下表展示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
关闭

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

Remove ads

參考文獻

Remove ads

外部連結

參見

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.

Remove ads