图灵奖得主大全
圖靈獎(英語:ACM A.M. Turing Award),又譯杜林獎、A.M.圖靈獎[2],是計算機協會(ACM)于1966年設立的獎項,專門獎勵對計算機事業作出重要貢獻的個人。其名稱取自世界計算機科學的先驅、英國科學家、曼徹斯特大學教授艾倫·圖靈(A.M. Turing),這個獎設立目的之一是紀念這位現代計算機科學的奠基者。獲獎者必須是在計算機領域具有持久而重大的先進性的技術貢獻。大多數獲獎者是計算機科學家。圖靈獎是計算機界最負盛名的獎項,有“計算機界諾貝爾獎”之稱。
圖靈獎對獲獎者的要求極高,評獎程序也極嚴,一般每年只獎勵一名計算機科學家,只有極少數年度有兩名以上在同一方向上做出貢獻的科學家同時獲獎。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年 | 愛德蒙·克拉克, 艾倫·愛默生, 約瑟夫·斯發基斯 | 開發自動化方法檢測計算機硬件和軟件中的設計錯誤 |
| 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] |
世界各大學圖靈獎人數
下表展示1966年至2021年世界各高校圖靈獎人數分布(只展示前15名)
| 1 | 斯坦福大學 美國 | 29 | 9 | 17 | 12 | -9 |
| 2 | 麻省理工學院 美國 | 26 | 6 | 16 | 11 | -7 |
| 3 | 伯克利加州大學 美國 | 25 | 11 | 12 | 11 | -9 |
| 4 | 普林斯頓大學 美國 | 16 | 10 | 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 |
| 并列9 | 密歇根大學 美國 | 6 | 4 | 0 | 2 | 0 |
| 并列9 | 牛津大學 英國 | 6 | 3 | 3 | 2 | -2 |
| 并列9 | 多倫多大學 加拿大 | 6 | 2 | 3 | 2 | -1 |
| 13 | 哥倫比亞大學 美國 | 5 | 2 | 1 | 2 | 0 |
| 并列13 | 洛杉磯加州大學 美國 | 5 | 3 | 1 | 1 | 0 |
| 15 | 康奈爾大學 美國 | 4 | 1 | 3 | 0 | 0 |
| 并列15 | 芝加哥大學 美國 | 4 | 3 | 0 | 1 | 0 |
參考
https://zh.wikipedia.org/wiki/%E5%9B%BE%E7%81%B5%E5%A5%96
總結
- 上一篇: HDMI简介
- 下一篇: 金丝桃素白蛋白纳米粒-大肠杆菌血清抗体复