圖靈獎(jiǎng)是一個(gè)于1966年由美國(guó)計(jì)算機(jī)協(xié)會(huì)創(chuàng)辦并頒獎(jiǎng)的計(jì)算機(jī)領(lǐng)域國(guó)際最高獎(jiǎng)項(xiàng),每年3月下旬公布并進(jìn)行頒獎(jiǎng),而該獎(jiǎng)項(xiàng)的名稱是根據(jù)艾倫·麥席森·圖靈的名字來(lái)命名,而該獎(jiǎng)項(xiàng)也是針對(duì)在計(jì)算機(jī)領(lǐng)域做出重要貢獻(xiàn)的科學(xué)家頒發(fā),從1966年發(fā)展至今,已經(jīng)是一個(gè)有著計(jì)算機(jī)界諾貝爾獎(jiǎng)美稱的科學(xué)獎(jiǎng)項(xiàng)。而圖靈獎(jiǎng)雖然是針對(duì)計(jì)算機(jī)領(lǐng)域但細(xì)分可以分成幾十個(gè),其中常獲獎(jiǎng)的領(lǐng)域有編譯原理、程序設(shè)計(jì)語(yǔ)言、計(jì)算積分復(fù)雜性理論、人工智能等。
根據(jù)從1966年至今的頒獎(jiǎng)情況來(lái)看,第一屆獲獎(jiǎng)?wù)邽閷?duì)編譯器構(gòu)造、高級(jí)程序設(shè)計(jì)領(lǐng)域做出過貢獻(xiàn)的艾倫·佩利;而最新獲獎(jiǎng)?wù)邉t是對(duì)數(shù)字算法和庫(kù)有著開創(chuàng)性貢獻(xiàn)的Jack J. Dongarra。而每年獲獎(jiǎng)的人也并不固定在一個(gè),經(jīng)常會(huì)出現(xiàn)兩人或者三人同時(shí)獲獎(jiǎng)的情況出現(xiàn)。
在76位獲獎(jiǎng)?wù)咧?,也有一位中?guó)科學(xué)家獲得圖靈獎(jiǎng),中國(guó)人首次獲獎(jiǎng),是在2000年,對(duì)計(jì)算理論有著突出貢獻(xiàn)的姚期智獲得該獎(jiǎng)。
圖靈獎(jiǎng)歷年得主
圖靈獎(jiǎng)歷年得主 | |||
年份 | 中文譯名 | 姓名 | 貢獻(xiàn)領(lǐng)域/獲獎(jiǎng)理由 |
1966年 | 艾倫·佩利 | Alan J. Perlis | 高級(jí)程序設(shè)計(jì)技巧,編譯器構(gòu)造 |
1967年 | 莫里斯·威爾克斯 | Maurice V. Wilkes | 存儲(chǔ)程序式計(jì)算機(jī)EDSAC,程序庫(kù) |
1968年 | 理查德·衛(wèi)斯里·漢明 | Richard Hamming | 數(shù)值方法,自動(dòng)編碼系統(tǒng),錯(cuò)誤檢測(cè)和糾錯(cuò)碼 |
1969年 | 馬文·明斯基 | Marvin Minsky | 人工智能 |
1970年 | 詹姆斯·維爾金森 | James H. Wilkinson | 數(shù)值分析,線性代數(shù),倒退錯(cuò)誤分析 |
1971年 | 約翰·麥卡錫 | John McCarthy | 人工智能 |
1972年 | 艾茲格·迪科斯徹 | Edsger Dijkstra | 程序設(shè)計(jì)語(yǔ)言的科學(xué)與藝術(shù) |
1973年 | 查理士·巴赫曼 | Charles W. Bachman | 數(shù)據(jù)庫(kù)技術(shù) |
1974年 | 高德納 | Donald E. Knuth | 算法分析、程序設(shè)計(jì)語(yǔ)言的設(shè)計(jì)、程序設(shè)計(jì) |
1975年 | 艾倫·紐厄爾 | Allen Newell | 人工智能,人類認(rèn)知心理學(xué)和列表處理(list processing) |
赫伯特·西蒙 | Herbert A. Simon | ||
1976年 | 邁克爾·拉賓 | Michael O. Rabin | 非確定性自動(dòng)機(jī) |
達(dá)納·斯科特 | Dana S. Scott | ||
1977年 | 約翰·巴克斯 | John Backus | 高級(jí)編程系統(tǒng),程序設(shè)計(jì)語(yǔ)言規(guī)范的形式化定義 |
1978年 | 羅伯特·弗洛伊德 | Robert W. Floyd | 設(shè)計(jì)高效可靠軟件的方法學(xué) |
1979年 | 肯尼斯·艾佛森 | Kenneth E. Iverson | 程序設(shè)計(jì)語(yǔ)言和數(shù)學(xué)符號(hào),互動(dòng)系統(tǒng)的設(shè)計(jì),運(yùn)用 APL進(jìn)行教學(xué),程序設(shè)計(jì)語(yǔ)言的理論與實(shí)踐 |
1980年 | 東尼·霍爾 | C. Antony R. Hoare | 程序設(shè)計(jì)語(yǔ)言的定義與設(shè)計(jì) |
1981年 | 埃德加·科德 | Edgar F. Codd | 數(shù)據(jù)庫(kù)系統(tǒng),尤其是關(guān)系型數(shù)據(jù)庫(kù) |
1982年 | 史提芬·古克 | Stephen A. Cook | 計(jì)算復(fù)雜度 |
1983年 | 肯·湯普遜 | Ken Thompson | UNⅨ操作系統(tǒng)和C語(yǔ)言 |
丹尼斯·里奇 | Dennis M. Ritchie | ||
1984年 | 尼古拉斯·沃斯 | Niklaus Wirth | 程序設(shè)計(jì)語(yǔ)言設(shè)計(jì)、程序設(shè)計(jì) |
1985年 | 理查德·卡普 | Richard M. Karp | 算法理論,尤其是NP-完全性理論 |
1986年 | 約翰·霍普克羅夫特 | John Hopcroft | 算法和數(shù)據(jù)結(jié)構(gòu)的設(shè)計(jì)與分析 |
羅伯特·塔揚(yáng) | Robert Tarjan | ||
1987年 | 約翰·科克 | John Cocke | 編譯理論,大型系統(tǒng)的體系結(jié)構(gòu),及精簡(jiǎn)指令集(RISC)計(jì)算機(jī)的開發(fā) |
1988年 | 伊凡·蘇澤蘭 | Ivan Sutherland | 計(jì)算機(jī)圖形學(xué) |
1989年 | 威廉·卡亨 | William Morton Kahan | 數(shù)值分析 |
1990年 | 費(fèi)爾南多·考巴脫 | Fernando J. Corbató | CTSS和Multics |
1991年 | 羅賓·米爾納 | Robin Milner | LCF,ML語(yǔ)言,CCS |
1992年 | 巴特勒·蘭普森 | Butler W. Lampson | 分布式,個(gè)人計(jì)算環(huán)境 |
1993年 | 尤里斯·哈特馬尼斯 | Juris Hartmanis | 計(jì)算復(fù)雜度理論 |
理查德·斯特恩斯 | Richard E. Stearns | ||
1994年 | 愛德華·費(fèi)根鮑姆 | Edward Feigenbaum | 大規(guī)模人工智能系統(tǒng) |
拉吉·瑞迪 | Raj Reddy | ||
1995年 | 曼紐爾·布盧姆 | Manuel Blum | 計(jì)算復(fù)雜度理論,及其在密碼學(xué)和程序校驗(yàn)上的應(yīng)用 |
1996年 | 阿米爾·伯努利 | Amir Pnueli | 時(shí)序邏輯,程序與系統(tǒng)驗(yàn)證 |
1997年 | 道格拉斯·恩格爾巴特 | Douglas Engelbart | 互動(dòng)計(jì)算 |
1998年 | 詹姆斯·尼古拉·格雷 | James Gray | 數(shù)據(jù)庫(kù)與事務(wù)處理 |
1999年 | 弗雷德里克·布魯克斯 | Frederick Phillips Brooks,Jr. | 計(jì)算機(jī)體系結(jié)構(gòu),操作系統(tǒng),軟件工程 |
2000年 | 姚期智 | Andrew Chi-Chih Yao | 計(jì)算理論,包括偽隨機(jī)數(shù)生成,密碼學(xué)與通信復(fù)雜度 |
2001年 | 奧利-約翰·達(dá)爾 | Ole-Johan Dahl | 面向?qū)ο缶幊?/td> |
克利斯登·奈加特 | Kristen Nygaard | ||
2002年 | 羅納德·李維斯特 | Ronald L. Rivest | 公鑰密碼學(xué)(RSA加密算法) |
阿迪·薩莫爾 | Adi Shamir | ||
倫納德·阿德曼 | Leonard M. Adleman | ||
2003年 | 艾倫·凱 | Alan Kay | 面向?qū)ο缶幊?/td> |
2004年 | 文特·瑟夫 | Vinton G. Cerf | TCP/IP協(xié)議 |
羅伯特·卡恩 | Robert E. Kahn | ||
2005年 | 彼得·諾爾 | Peter Naur | Algol 60語(yǔ)言 |
2006年 | 法蘭西斯·艾倫 | Frances E. Allen | 優(yōu)化編譯器 |
2007年 | 愛德蒙·克拉克 | Edmund M. Clarke | 開發(fā)自動(dòng)化方法檢測(cè)計(jì)算機(jī)硬件和軟件中的設(shè)計(jì)錯(cuò)誤 |
艾倫·愛默生 | Allen Emerson | ||
約瑟夫·斯發(fā)基斯 | Joseph Sifakis | ||
2008年 | 芭芭拉·利斯科夫 | Barbara Liskov | 編程語(yǔ)言和系統(tǒng)設(shè)計(jì)的實(shí)踐與理論 |
2009年 | 查爾斯·薩克爾 | Charles Thacker | 幫助設(shè)計(jì)、制造第一款現(xiàn)代PC |
2010年 | 萊斯利·瓦倫特 | Leslie Valiant | 對(duì)眾多計(jì)算理論所做的變革性的貢獻(xiàn) |
2011年 | 猶大·伯爾 | Judea Pearl | 人工智能 |
2012年 | 莎菲·戈德瓦塞爾 | Shafi Goldwasser | 在密碼學(xué)和復(fù)雜理論領(lǐng)域做出創(chuàng)舉性工作 |
希爾維奧·米卡利 | Silvio Micali | ||
2013年 | 萊斯利·蘭伯特 | Leslie Lamport | 在提升計(jì)算機(jī)系統(tǒng)的可靠性及穩(wěn)定性領(lǐng)域的杰出貢獻(xiàn) |
2014年 | 邁克爾·斯通布雷克 | Michael Stonebraker | 對(duì)現(xiàn)代數(shù)據(jù)庫(kù)系統(tǒng)底層的概念與實(shí)踐所做出的基礎(chǔ)性貢獻(xiàn) |
2015年 | 惠特菲爾德·迪菲 | Whitfield Diffie | 非對(duì)稱加密的創(chuàng)始人 |
馬丁·赫爾曼 | Martin Hellman | ||
2016年 | 蒂姆·伯納斯·李 | Tim Berners-Lee | 萬(wàn)維網(wǎng)的發(fā)明者 |
2017年 | 約翰·軒尼詩(shī) | John Hennessy | 開發(fā)了RISC微處理器并且讓這一概念流行起來(lái)的工程 |
大衛(wèi)·帕特森 | David Patterson | ||
2018年 | 約舒亞·本希奧 | Yoshua Bengio | 在人工智能深度學(xué)習(xí)方面的貢獻(xiàn) |
杰弗里·欣頓 | Geoffrey Hinton | ||
揚(yáng)·萊坎 | Yann LeCun | ||
2019年 | 帕特里克· 漢拉汗 | Patrick M. Hanrahan | 對(duì)3D計(jì)算機(jī)圖形學(xué)的貢獻(xiàn),以及這些技術(shù)對(duì)電影制作和計(jì)算機(jī)生成圖像(CGI)等應(yīng)用的革命性影響 |
艾德文·卡特姆 | Edwin E. Catmull | ||
2020年 | 杰弗里·戴維·烏爾曼 | Jeffrey David Ullman | 創(chuàng)造了全球數(shù)百萬(wàn)編程人員使用的工具和教材,推進(jìn)編程語(yǔ)言實(shí)現(xiàn)的基礎(chǔ)算法和理論,并在極具影響力的書籍中綜述了這些研究成果 |
阿爾佛雷德·艾侯 | Alfred Vaino Aho | ||
2021年 | 杰克·唐加拉 | Jack J. Dongarra | 通過對(duì)線性代數(shù)運(yùn)算的高效數(shù)值算法、并行計(jì)算編程機(jī)制和性能評(píng)估工具的貢獻(xiàn),引領(lǐng)了高性能計(jì)算的世界。 |
2022年 | 鮑勃·梅特卡夫 | Bob Metcalfe | 為引領(lǐng)大眾進(jìn)入超級(jí)連接時(shí)代所做的貢獻(xiàn) |