Turing獎最早設(shè)立于1966年，是美國計算機(jī)協(xié)會在計算機(jī)技術(shù)方面所授予的最高獎項，被喻為計算機(jī)界的諾貝爾獎。它是以英國數(shù)學(xué)天才Alan Turing先生的名字命名的，Alan Turing先生對早期計算的理論和實踐做出了突出的貢獻(xiàn)。圖靈獎主要授予在計算機(jī)技術(shù)領(lǐng)域做出突出貢獻(xiàn)的個人，而這些貢獻(xiàn)必須對計算機(jī)科學(xué)與技術(shù)有長遠(yuǎn)而重要的影響。1966年，A. J. Perlis因其在新一代編程技術(shù)和編譯架構(gòu)方面的貢獻(xiàn)成為圖靈獎的第一個得主。
每年，美國計算機(jī)協(xié)會將要求提名人推薦本年度的圖靈獎候選人，并附加一份200到500字的文章，說明被提名者為什么應(yīng)獲此獎。任何人都可成為提名人，美國計算機(jī)協(xié)會將組成評選委員會對被提名者進(jìn)行嚴(yán)格的審核，并最終確定當(dāng)年的獲獎?wù)摺?/p>
| 年份 | 姓名 | 貢獻(xiàn)領(lǐng)域 |
|---|---|---|
| 1966年 | 艾倫·佩利 | 高級程序設(shè)計技巧，編譯器構(gòu)造 |
| 1967年 | 莫里斯·威爾克斯 | 存儲過程式計算機(jī)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年 | 艾倫·紐厄爾 | 人工智能，人類認(rèn)知心理學(xué)和列表處理（list processing） |
| 赫伯特·西蒙 | ||
| 1976年 | 邁克爾·拉賓 | 非確定性自動機(jī) |
| 達(dá)納·斯科特 | ||
| 1977年 | 約翰·巴克斯 | 高級編程系統(tǒng)，程序設(shè)計語言規(guī)范的形式化定義 |
| 1978年 | 羅伯特·弗洛伊德 | 設(shè)計高效可靠軟件的方法學(xué) |
| 1979年 | 肯尼斯·艾佛森 | 程序設(shè)計語言和數(shù)學(xué)符號，互動系統(tǒng)的設(shè)計，運(yùn)用APL進(jìn)行教學(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è)計與分析 |
| 羅伯特·塔揚(yáng) | ||
| 1987年 | 約翰·科克 | 編譯理論，大型系統(tǒng)的體系結(jié)構(gòu)，及精簡指令集（RISC）計算機(jī)的開發(fā) |
| 1988年 | 伊凡·蘇澤蘭 | 計算機(jī)圖形學(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年 | 弗雷德里克·布魯克斯 | 計算機(jī)體系結(jié)構(gòu)，操作系統(tǒng)，軟件工程 |
| 2000年 | 姚期智[4] | 計算理論，包括偽隨機(jī)數(shù)生成，密碼學(xué)與通信復(fù)雜度 |
| 2001年 | 奧利-約翰·達(dá)爾 | 面向?qū)ο缶幊?/td> |
| 克利斯登·奈加特 | ||
| 2002年 | 羅納德·李維斯特 | 公鑰密碼學(xué)（RSA加密算法） |
| 阿迪·薩莫爾 | ||
| 倫納德·阿德曼 | ||
| 2003年 | 艾倫·凱 | 面向?qū)ο缶幊?/td> |
| 2004年 | 文特·瑟夫 | TCP/IP協(xié)議 |
| 羅伯特·卡恩 | ||
| 2005年 | 彼得·諾爾 | Algol 60語言 |
| 2006年 | 法蘭西斯·艾倫 | 優(yōu)化編譯器 |
| 2007年[5] | 愛德蒙·克拉克 | 開發(fā)自動化方法檢測計算機(jī)硬件和軟件中的設(shè)計錯誤 |
| 艾倫·愛默生 | ||
| 約瑟夫·斯發(fā)基斯 | ||
| 2008年 | 芭芭拉·利斯科夫 | 編程語言和系統(tǒng)設(shè)計的實踐與理論 |
| 2009年 | 查爾斯·薩克爾 | 幫助設(shè)計、制造第一款現(xiàn)代PC |
| 2010年 | 萊斯利·瓦倫特 | 對眾多計算理論所做的變革性的貢獻(xiàn) |
| 2011年 | 朱迪亞·珀爾 | 通過概率論和因果推理（英語：Causal reasoning）對人工智能領(lǐng)域作出的根本性貢獻(xiàn) |
| 2012年 | 莎菲·戈德瓦塞爾 | 在密碼科學(xué)領(lǐng)域里，于復(fù)雜理論的基礎(chǔ)之上，做出變革性工作；并領(lǐng)先發(fā)展出新的具有數(shù)學(xué)可證明性的有效驗證機(jī)制[6] |
| 希爾維奧·米卡利 | ||
| 2013年 | 萊斯利·蘭波特 | 對于分布式及并形系統(tǒng)的理論與實踐具有基礎(chǔ)性貢獻(xiàn)，尤其是諸如因果邏輯時序（causality and logical clocks）、安全性與存活度（safety and liveness）、復(fù)制狀態(tài)機(jī)（replicated state machines）及循序一致性（英語：sequential consistency）（sequential consistency）等理論概念的發(fā)明[7] |
| 2014年 | 邁克爾·斯通布雷克 | 對現(xiàn)代數(shù)據(jù)庫的概念和實踐作出的根本性貢獻(xiàn) |
| 2015年 | 惠特菲爾德·迪菲 | 發(fā)明迪菲-赫爾曼密鑰交換，對公開密鑰加密技術(shù)有重大貢獻(xiàn)[8]。 |
| 馬丁·赫爾曼 |
1966 A. J. Perlis因在新一代編程技術(shù)和編譯架構(gòu)方面的貢獻(xiàn)而獲獎
1967 Maurice V. Wilkes因設(shè)計出第一臺具有內(nèi)置存儲程序的計算機(jī)而獲獎
1968 Richard W. Hamming因在計數(shù)方法、自動編碼系統(tǒng)、檢測及糾正錯碼方面的貢獻(xiàn)被授予圖靈獎
1969 Marvin Minsky 因?qū)θ斯ぶ悄艿呢暙I(xiàn)被授予圖靈獎
1970 J. H. Wilkinson因在利用數(shù)值分析方法來促進(jìn)高速數(shù)字計算機(jī)的應(yīng)用方面的研究而獲獎
1971 John McCarthy因?qū)θ斯ぶ悄艿呢暙I(xiàn)被授予圖靈獎
1972 Edsger W. Dijkstra因在編程語言方面的出眾表現(xiàn)而獲獎
1973 Charles W. Bachman因在數(shù)據(jù)庫方面的杰出貢獻(xiàn)而獲獎
1974 Donald E. Knuth因設(shè)計和完成TEX(一種創(chuàng)新的具有很高排版質(zhì)量的文檔制作工具)而被授予該獎
1975 Allen Newell和Herbert A.Simon因在人工智能、人類心理識別和列表處理等方面進(jìn)行的基礎(chǔ)研究而獲獎
1976 Michael O. Robin和Dana S. Scott因他們的論文”有限自動機(jī)與它們的決策問題”中所提出的非確定性機(jī)器這一很有價值的概念而獲獎
1977 John Backus因?qū)捎玫母呒壘幊滔到y(tǒng)設(shè)計有深遠(yuǎn)和重大的影響而獲獎
1978 Robert W. F編程的算法方面的深遠(yuǎn)影響，并開創(chuàng)了包括剖析理論、編程語言的語義、自動程序檢驗、自動程序合成和算法分析在內(nèi)的多項計算機(jī)子學(xué)科而被授予該獎
1979 Kenneth E. Iverson因?qū)Τ绦蛟O(shè)計語言理論、互動式系統(tǒng)及APL的貢獻(xiàn)被授予該獎
1980 C. Anthony R. Hoare因?qū)Τ绦蛟O(shè)計語言的定義和設(shè)計所做的貢獻(xiàn)而獲獎
1981 Edgar F. Codd因在數(shù)據(jù)庫管理系統(tǒng)的理論和實踐方面的貢獻(xiàn)而獲
1982 Steven A. Cook因奠定了NP-Completeness理論的基礎(chǔ)而獲獎
1983 Ken Thompson和Dennis M. Ritchie因在通用操作系統(tǒng)理論方面的突出貢獻(xiàn), 特別是對UNIX操作系統(tǒng)的推廣的貢獻(xiàn)而獲獎
1984 Niklaus Wirth因開發(fā)了EULER, ALGOL-W, MODULA和PASCAL一系列嶄新的計算語言而獲獎
1985 Richard M. Karp因?qū)λ惴ɡ碚摰呢暙I(xiàn)而獲獎
1986 John E. Hopcroft因在算法及數(shù)據(jù)結(jié)構(gòu)的設(shè)計和分析中所取得的決定性成果而獲獎
1987 John Cocke因在面向?qū)ο蟮木幊陶Z言和相關(guān)的編程技巧方面的貢獻(xiàn)而獲獎
1988 Ivan E. Sutherland因在計算機(jī)圖形學(xué)方面的貢獻(xiàn)而獲獎
1989 William V.Kahan因在數(shù)值分析方面的貢獻(xiàn)而獲獎
1990 Fernando J.Corbato因在開發(fā)大型多功能，可實現(xiàn)時間和資源共享的計算系統(tǒng)，如CTSS和Multics方面的貢獻(xiàn)而獲獎
1991 Robin Milner因在可計算的函數(shù)邏輯(LCF)、ML和并行理論(CCS)這三個方面的貢獻(xiàn)而獲獎
1992 Butler Lampson因在個人分布式計算機(jī)系統(tǒng)方面的貢獻(xiàn)而獲獎
1993 Jurlis Hartmanis和Richard E. Stearns因奠定了計算復(fù)雜性理論的基礎(chǔ)而獲獎
1994 Raj Reddy和Edward Feigenbaum因?qū)Υ笮腿斯ぶ悄芟到y(tǒng)的開拓性研究而獲獎
1995 Manuel Blum因奠定了計算復(fù)雜性理論的基礎(chǔ)和在密碼術(shù)及程序校驗方面的貢獻(xiàn)而獲獎
1996 Amir Pnueli因在中引入臨時邏輯和對程序及系統(tǒng)檢驗的貢獻(xiàn)而獲獎
1997 Douglas Engelbart因提出交互計算概念并創(chuàng)造出實現(xiàn)這一概念的重要技術(shù)而獲獎
1998 James Gray因在數(shù)據(jù)庫和事務(wù)處理方面的突出貢獻(xiàn)而獲獎
1999 Frederick P. Brooks, Jr. 由于在計算機(jī)體系架構(gòu)、操作系統(tǒng)以及軟件工程方面所做出的具有里程碑式意義的貢獻(xiàn)?！度嗽律裨挕返淖髡?/p>
2000 Andrew Chi-Chih Yao(姚期智) 由于在計算理論方面的貢獻(xiàn)而獲獎，包括偽隨機(jī)數(shù)的生成算法、加密算法和通訊復(fù)雜性
2001 Ole-Johan Dahl, Kristen Nygaard 由于面向?qū)ο缶幊淌及l(fā)于他們基礎(chǔ)性的構(gòu)想，這些構(gòu)想集中體現(xiàn)在他們所設(shè)計的編程語言SIMULA I 和SIMULA 67中
2002 Ronald L. Rivest, Adi Shamir, Leonard M. Adleman 由于在公共密鑰理論和實踐方面的基礎(chǔ)性工作而獲獎
2003 Alan Kay 由于在面向?qū)ο笳Z言方面原創(chuàng)性思想，領(lǐng)導(dǎo)了Smalltalk的開發(fā)團(tuán)隊，以及對PC的基礎(chǔ)性貢獻(xiàn)。至理名言：預(yù)測未來的最好方法是創(chuàng)造它
2004 Vinton G. Cerf, Robert E. Kahn 由于在互聯(lián)網(wǎng)方面開創(chuàng)性的工作，這包括設(shè)計和實現(xiàn)了互聯(lián)網(wǎng)的基礎(chǔ)通訊協(xié)議，TCP/IP，以及在網(wǎng)絡(luò)方面卓越的領(lǐng)導(dǎo)
2005 Naur Peter 因他在設(shè)計Algol 60語言于其定義的清晰性，Algol 60成為了許多現(xiàn)代程序設(shè)計語言的原型。在語法描述中廣泛使用的BNF范式，其中的“N”便是來自Peter Naur的名字
2006 Frances E. Allen因其在編譯器優(yōu)化理論和實踐方面做出的開創(chuàng)性貢獻(xiàn)而獲獎。Allen是該獎項創(chuàng)立40年來的第一位女性得主。
2007 Edmund M. Clarke，Allen Emerson和Joseph Sifakis因為“在將模型檢查發(fā)展為被硬件和軟件業(yè)中所廣泛采納的高效驗證技術(shù)上的貢獻(xiàn)”而榮獲該獎
2008 Barbara Liskov因在計算機(jī)軟件更加可靠、安全和更具一致性方面的貢獻(xiàn)而獲獎。她也成為歷史上第二位獲得圖靈獎的女性
2009 Chuck Thacker以表彰他對第一臺現(xiàn)代個人計算機(jī)——施樂帕克（Xerox PARC）Alto的先驅(qū)性設(shè)計，以及在局域網(wǎng)（包括以太網(wǎng)）、多處理器工作站、窺探高速緩存一致性協(xié)議和平板PC等方面的杰出成就與貢獻(xiàn)。他是以太局域網(wǎng)的發(fā)明者之一，也是世界是第一臺激光打印機(jī)發(fā)明者之一
2010 Leslie G. Valiant因?qū)Ρ姸嗟挠嬎憷碚?，包括PAC學(xué)習(xí)、枚舉復(fù)雜性和代數(shù)計算和并行與分布式計算所做的變革性的貢獻(xiàn)而獲獎
2011 Judea Pearl因在人工智能領(lǐng)域的基礎(chǔ)性工作獲獎，他提出的概率和因果性推理演算法，徹底改變了人工智能當(dāng)初基于規(guī)則和推理的方向
TURING獎獲得者分類(1966–2010)
硬件
Maurice V. Wilkes (1967) ——第一臺具有內(nèi)部存儲程序的計算機(jī)EDSAC
John Cocke (1987) —— RISC & 編譯優(yōu)化
Vinton Gray Cerf (2004) —— Internet基礎(chǔ)通訊協(xié)議
Chuck Thacke（2009）—— 局域網(wǎng)
Frances E. Allen（2006）—— 編譯器優(yōu)化理論
Edmund M. Clarke，Allen Emerson和Joseph Sifakis（2007）——模型驗證
程序語言設(shè)計與實現(xiàn)
Alan J. Perlis (1966) ——ALGOL
John McCarthy (1971) —— LISP
Edsger Wybe Dijkstra (1972) —— ALGOL
John W. Backus (1977) —— FORTRAN
Kenneth Eugene Iverson (1979) ——APL程序語言
Niklaus Wirth (1984) —— PASCAL
John Cocke (1987) ——RISC & 編譯優(yōu)化
Ole-Johan Dahl，Kristen Nygaard (2001) —— Simula語言和面向?qū)ο蟾拍?(獲獎前30年)
Alan Kay(2003) ——SmallTalk語言和面向?qū)ο蟪绦蛟O(shè)計
Peter Naur(2005) —— ALGOL60以及編譯設(shè)計
Barbara Liskov(2008) ——數(shù)據(jù)抽象與分布式計算
Edmund M. Clarke，Allen Emerson和Joseph Sifakis（2007）——模型驗證
算法
Richard Hamming (1968) —— 漢明碼
James Hardy Wilkinson (1970) —— 數(shù)值分析
Donald E. Knuth —— art of computer programming
John E. Hopcroft，Robert Endre. Tarjan (1986) ——數(shù)據(jù)結(jié)構(gòu)和算法設(shè)計
William (Velvel) Morton Kahan (1989) —— 浮點運(yùn)算IEEE標(biāo)準(zhǔn)主要設(shè)計師
Andrew Chi-Chih Yao (姚期智) (2000) ——偽隨機(jī)數(shù)復(fù)雜性，密碼系統(tǒng)和通訊復(fù)雜性
Ronald L. Rivest, Adi Shamir, Leonard M. Adleman(2002) ——公鑰密碼技術(shù)
自動機(jī)和可計算性
Dana Stewart Scott (1976) —— 自動機(jī)
Michael Oser Rabin (1976) ——自動機(jī)
Stephen Arthur Cook (1982) —— NP完全性
Richard Manning Karp (1985) —— 證明一個問題是否是屬于NP完全
Juris Hartmanis，Richard Edwin Stearns (1993) —— 計算復(fù)雜性
Manuel Blum (1995) —— 計算復(fù)雜性，密碼系統(tǒng)和程序檢查驗證
Leslie G. Valiant（2010）——計算復(fù)雜性
人工智能
Marvin Lee Minsky (1969) —— 神經(jīng)元網(wǎng)絡(luò)
John McCarthy (1971) —— LISP
Allen Newell，Herbert Simon (1975) —— Logic Theory Machine
Raj Reddy，Edward Feigenbaum(1994) ——專家系統(tǒng)
Leslie G. Valiant（2010）——機(jī)器學(xué)習(xí)
Judea Pearl（2011）—— 概率和因果性推理演算法
操作系統(tǒng)
Dennis MacAlistair Ritchie，Ken Thompson (1983) —— UNIX
Fernando Jose Corbato (1990) ——分時系統(tǒng)
Frederick P. Brooks(1999) —— IBM System360 操作系統(tǒng)
數(shù)據(jù)庫
Charles W. Bachman (1973) —— 數(shù)據(jù)庫
Edgar Frank Codd (1981) ——關(guān)系數(shù)據(jù)模型
James Gray(1998) —— 數(shù)據(jù)庫和事務(wù)處理
圖像處理和交互式系統(tǒng)
Ivan Edward Sutherland (1988) ——圖像處理，CAD
Douglas Engelbart(1998) —— 交互式系統(tǒng)，鼠標(biāo)發(fā)明人
程序語言語義
Dana Stewart Scott (1976) ——自動機(jī)
Robert W. Floyd (1978) —— 編程語言語義，自動程序驗證
C. Antony R. Hoare (1980) —— Hoare Logic, CSP
Robin Milner (1991) —— LCF，ML，CCS，PI-calculus
Amir Pnueli (1996) —— 時序邏輯和系統(tǒng)驗證
【微信公眾號：yuanpeople，猿人類-專為程序猿而生】
