图灵奖得主大全
圖靈獎(英語:ACM A.M. Turing Award),又譯杜林獎、A.M.圖靈獎[2],是計算機協(xié)會(ACM)于1966年設(shè)立的獎項,專門獎勵對計算機事業(yè)作出重要貢獻的個人。其名稱取自世界計算機科學(xué)的先驅(qū)、英國科學(xué)家、曼徹斯特大學(xué)教授艾倫·圖靈(A.M. Turing),這個獎設(shè)立目的之一是紀(jì)念這位現(xiàn)代計算機科學(xué)的奠基者。獲獎?wù)弑仨毷窃谟嬎銠C領(lǐng)域具有持久而重大的先進性的技術(shù)貢獻。大多數(shù)獲獎?wù)呤怯嬎銠C科學(xué)家。圖靈獎是計算機界最負盛名的獎項,有“計算機界諾貝爾獎”之稱。
圖靈獎對獲獎?wù)叩囊髽O高,評獎程序也極嚴(yán),一般每年只獎勵一名計算機科學(xué)家,只有極少數(shù)年度有兩名以上在同一方向上做出貢獻的科學(xué)家同時獲獎。2014年11月13日之前圖靈獎由英特爾公司以及Google公司贊助,獎金為250,000美元。2014年11月13日,雖然英特爾退出贊助,Google反而將獎金提高到1,000,000美元,和諾貝爾獎獎金相近。[3]
每年,美國計算機協(xié)會將要求提名人推薦本年度的圖靈獎候選人,并附加一份200到500字的文章,說明被提名者為什么應(yīng)獲此獎。任何人都可成為提名人。美國計算機協(xié)會將組成評選委員會對被提名者進行嚴(yán)格的評審,并最終確定當(dāng)年的獲獎?wù)摺?/p>
圖靈獎獲得者
| 1966年 | 艾倫·佩利 | 高級程序設(shè)計技巧,編譯器構(gòu)造 |
| 1967年 | 莫里斯·威爾克斯 | 存儲程序式計算機EDSAC,EDSAC 2,程序庫 |
| 1968年 | 理查德·衛(wèi)斯里·漢明 | 數(shù)值方法,自動編碼系統(tǒng),錯誤檢測和糾錯碼 |
| 1969年 | 馬文·閔斯基 | 人工智能 |
| 1970年 | 詹姆斯·維爾金森 | 數(shù)值分析,線性代數(shù),倒退錯誤分析 |
| 1971年 | 約翰·麥卡錫 | 人工智能 |
| 1972年 | 艾茲格·迪科斯徹 | 程序設(shè)計語言的科學(xué)與藝術(shù) |
| 1973年 | 查理士·巴赫曼 | 數(shù)據(jù)庫技術(shù) |
| 1974年 | 高德納 | 算法分析、程序設(shè)計語言的設(shè)計、程序設(shè)計 |
| 1975年 | 艾倫·紐厄爾, 赫伯特·西蒙 | 人工智能,人類認知心理學(xué)和列表處理(list processing) |
| 1976年 | 邁克爾·拉賓, 達納·斯科特 | 非確定性自動機 |
| 1977年 | 約翰·巴克斯 | 高級編程系統(tǒng),程序設(shè)計語言規(guī)范的形式化定義 |
| 1978年 | 羅伯特·弗洛伊德 | 設(shè)計高效可靠軟件的方法學(xué) |
| 1979年 | 肯尼斯·艾佛森 | 程序設(shè)計語言和數(shù)學(xué)符號,互動系統(tǒng)的設(shè)計,運用APL進行教學(xué),程序設(shè)計語言的理論與實踐 |
| 1980年 | 東尼·霍爾 | 程序設(shè)計語言的定義與設(shè)計 |
| 1981年 | 埃德加·科德 | 數(shù)據(jù)庫系統(tǒng),尤其是關(guān)系型數(shù)據(jù)庫 |
| 1982年 | 史提芬·古克 | 計算復(fù)雜度 |
| 1983年 | 肯·湯普遜, 丹尼斯·里奇 | UNIX操作系統(tǒng)和C語言 |
| 1984年 | 尼克勞斯·維爾特 | 程序設(shè)計語言設(shè)計、程序設(shè)計 |
| 1985年 | 理查德·卡普 | 算法理論,尤其是NP-完全性理論 |
| 1986年 | 約翰·霍普克洛夫特, 羅伯特·塔揚 | 算法和數(shù)據(jù)結(jié)構(gòu)的設(shè)計與分析 |
| 1987年 | 約翰·科克 | 編譯理論,大型系統(tǒng)的體系結(jié)構(gòu),及精簡指令集(RISC)計算機的開發(fā) |
| 1988年 | 伊凡·蘇澤蘭 | 計算機圖形學(xué) |
| 1989年 | 威廉·卡韓 | 數(shù)值分析 |
| 1990年 | 費爾南多·考巴托 | CTSS和Multics |
| 1991年 | 羅賓·米爾納 | LCF,ML語言,CCS |
| 1992年 | 巴特勒·蘭普森 | 分布式,個人計算環(huán)境 |
| 1993年 | 尤里斯·哈特馬尼斯, 理查德·斯特恩斯 | 計算復(fù)雜度理論 |
| 1994年 | 愛德華·費根鮑姆, 拉吉·瑞迪 | 大規(guī)模人工智能系統(tǒng) |
| 1995年 | 曼紐爾·布盧姆 | 計算復(fù)雜度理論,及其在密碼學(xué)和程序校驗上的應(yīng)用 |
| 1996年 | 阿米爾·伯努利 | 時序邏輯,程序與系統(tǒng)驗證 |
| 1997年 | 道格拉斯·恩格爾巴特 | 互動計算 |
| 1998年 | 詹姆斯·尼古拉·格雷 | 數(shù)據(jù)庫與事務(wù)處理 |
| 1999年 | 弗雷德里克·布魯克斯 | 計算機體系結(jié)構(gòu),操作系統(tǒng),軟件工程 |
| 2000年 | 姚期智[4] | 計算理論,包括偽隨機數(shù)生成,密碼學(xué)與通信復(fù)雜度 |
| 2001年 | 奧利-約翰·達爾, 克利斯登·奈加特 | 面向?qū)ο缶幊?/td> |
| 2002年 | 羅納德·李維斯特, 阿迪·薩莫爾, 倫納德·阿德曼 | 公鑰密碼學(xué)(RSA加密算法) |
| 2003年 | 艾倫·凱 | 面向?qū)ο缶幊?/td> |
| 2004年 | 文特·瑟夫, 羅伯特·卡恩 | TCP/IP協(xié)議 |
| 2005年 | 彼得·諾爾 | Algol 60語言 |
| 2006年 | 法蘭西斯·艾倫 | 優(yōu)化編譯器 |
| 2007年 | 愛德蒙·克拉克, 艾倫·愛默生, 約瑟夫·斯發(fā)基斯 | 開發(fā)自動化方法檢測計算機硬件和軟件中的設(shè)計錯誤 |
| 2008年 | 芭芭拉·利斯科夫 | 編程語言和系統(tǒng)設(shè)計的實踐與理論 |
| 2009年 | 查爾斯·薩克爾 | 幫助設(shè)計、制造第一款現(xiàn)代PC |
| 2010年 | 萊斯利·瓦倫特 | 對眾多計算理論所做的變革性的貢獻 |
| 2011年 | 朱迪亞·珀爾 | 通過概率論和因果推理對人工智能領(lǐng)域作出的根本性貢獻 |
| 2012年 | 莎菲·戈德瓦塞爾, 希爾維奧·米卡利 | 在密碼科學(xué)領(lǐng)域里,于復(fù)雜理論的基礎(chǔ)之上,做出變革性工作;并領(lǐng)先發(fā)展出新的具有數(shù)學(xué)可證明性的有效驗證機制[6] |
| 2013年 | 萊斯利·蘭波特 | 對于分布式及并形系統(tǒng)的理論與實踐具有基礎(chǔ)性貢獻,尤其是諸如因果邏輯時序(causality and logical clocks)、安全性與存活度(safety and liveness)、復(fù)制狀態(tài)機(replicated state machines)及循序一致性(sequential consistency)等理論概念的發(fā)明[7] |
| 2014年 | 邁克爾·斯通布雷克 | 對現(xiàn)代數(shù)據(jù)庫的概念和實踐作出的根本性貢獻 |
| 2015年 | 惠特菲爾德·迪菲, 馬丁·赫爾曼 | 發(fā)明迪菲-赫爾曼密鑰交換,對公開密鑰加密技術(shù)有重大貢獻[8] |
| 2016年 | 蒂姆·伯納斯-李 | 發(fā)明了萬維網(wǎng)、第一個瀏覽器和使得萬維網(wǎng)得以擴展的基礎(chǔ)協(xié)議及算法[9] |
| 2017年 | 約翰·軒尼詩, 大衛(wèi)·帕特森 | 開創(chuàng)了一種系統(tǒng)的、定量的方法來設(shè)計和評價計算機體系結(jié)構(gòu),并對微處理器行業(yè)產(chǎn)生了持久的影響。[10] |
| 2018年 | 約書亞·本希奧, 杰弗里·辛頓, 楊立昆 | 深度學(xué)習(xí)[11] |
| 2019年 | 艾德文·卡特姆, 帕特里克·漢拉恩 | 對于3D計算機圖形學(xué)的基本貢獻,以及這些技術(shù)對電影制作和其他應(yīng)用中的計算機生成圖像(CGI)的革命性影響。[12] |
| 2020年 | 阿爾佛雷德·艾侯,杰弗瑞·烏爾曼 | 對程序語言實現(xiàn)的基礎(chǔ)性算法和理論的貢獻。[13] |
世界各大學(xué)圖靈獎人數(shù)
下表展示1966年至2021年世界各高校圖靈獎人數(shù)分布(只展示前15名)
| 1 | 斯坦福大學(xué) 美國 | 29 | 9 | 17 | 12 | -9 |
| 2 | 麻省理工學(xué)院 美國 | 26 | 6 | 16 | 11 | -7 |
| 3 | 伯克利加州大學(xué) 美國 | 25 | 11 | 12 | 11 | -9 |
| 4 | 普林斯頓大學(xué) 美國 | 16 | 10 | 5 | 2 | -1 |
| 5 | 哈佛大學(xué) 美國 | 14 | 9 | 5 | 4 | -4 |
| 6 | 卡耐基梅隆大學(xué) 美國 | 13 | 5 | 9 | 1 | -2 |
| 7 | 紐約大學(xué) 美國 | 8 | 3 | 2 | 3 | 0 |
| 8 | 劍橋大學(xué) 英國 | 7 | 5 | 2 | 3 | -3 |
| 9 | 加州理工學(xué)院 美國 | 6 | 6 | 2 | 0 | -2 |
| 并列9 | 密歇根大學(xué) 美國 | 6 | 4 | 0 | 2 | 0 |
| 并列9 | 牛津大學(xué) 英國 | 6 | 3 | 3 | 2 | -2 |
| 并列9 | 多倫多大學(xué) 加拿大 | 6 | 2 | 3 | 2 | -1 |
| 13 | 哥倫比亞大學(xué) 美國 | 5 | 2 | 1 | 2 | 0 |
| 并列13 | 洛杉磯加州大學(xué) 美國 | 5 | 3 | 1 | 1 | 0 |
| 15 | 康奈爾大學(xué) 美國 | 4 | 1 | 3 | 0 | 0 |
| 并列15 | 芝加哥大學(xué) 美國 | 4 | 3 | 0 | 1 | 0 |
參考
https://zh.wikipedia.org/wiki/%E5%9B%BE%E7%81%B5%E5%A5%96
總結(jié)
- 上一篇: HDMI简介
- 下一篇: 金丝桃素白蛋白纳米粒-大肠杆菌血清抗体复