曆屆圖靈獎 (Turing award)得獎名單
一、總結
一句話總結：各個方面都有。
二、曆屆圖靈獎 (Turing award)得獎名單
Turing獎最早設立于1966年，是美國計算機協會在計算機技術方面所授予的最高獎項，被喻為計算機界的諾貝爾獎。它是以英國數學天才Alan Turing先生的名字命名的，Alan Turing先生對早期計算的理論和實踐做出了突出的貢獻。圖靈獎主要授予在計算機技術領域做出突出貢獻的個人，而這些貢獻必須對計算機科學與技術有長遠而重要的影響。1966年，A. J. Perlis因其在新一代程式設計技術和編譯架構方面的貢獻成為圖靈獎的第一個得主。
每年，美國計算機協會将要求提名人推薦本年度的圖靈獎候選人，并附加一份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年 [5] | 愛德蒙·克拉克 | 開發自動化方法檢測計算機硬體和軟體中的設計錯誤 |
| 艾倫·愛默生 | ||
| 約瑟夫·斯發基斯 | ||
| 2008年 | 芭芭拉·利斯科夫 | 程式設計語言和系統設計的實踐與理論 |
| 2009年 | 查爾斯·薩克爾 | 幫助設計、制造第一款現代PC |
| 2010年 | 萊斯利·瓦倫特 | 對衆多計算理論所做的變革性的貢獻 |
| 2011年 | 朱迪亞·珀爾 | 通過機率論和因果推理（英語：Causal reasoning）對人工智能領域作出的根本性貢獻 |
| 2012年 | 莎菲·戈德瓦塞爾 | 在密碼科學領域裡，于複雜理論的基礎之上，做出變革性工作；并領先發展出新的具有數學可證明性的有效驗證機制[6] |
| 希爾維奧·米卡利 | ||
| 2013年 | 萊斯利·蘭波特 | 對于分布式及并形系統的理論與實踐具有基礎性貢獻，尤其是諸如因果邏輯時序（causality and logical clocks）、安全性與存活度（safety and liveness）、複制狀态機（replicated state machines）及循序一緻性（英語：sequential consistency）（sequential consistency）等理論概念的發明[7] |
| 2014年 | 邁克爾·斯通布雷克 | 對現代資料庫的概念和實踐作出的根本性貢獻 |
| 2015年 | 惠特菲爾德·迪菲 | 發明迪菲-赫爾曼密鑰交換，對公開密鑰加密技術有重大貢獻[8]。 |
| 馬丁·赫爾曼 |
1966 A. J. Perlis因在新一代程式設計技術和編譯架構方面的貢獻而獲獎
1967 Maurice V. Wilkes因設計出第一台具有内置存儲程式的計算機而獲獎
1968 Richard W. Hamming因在計數方法、自動編碼系統、檢測及糾正錯碼方面的貢獻被授予圖靈獎
1969 Marvin Minsky 因對人工智能的貢獻被授予圖靈獎
1970 J. H. Wilkinson因在利用數值分析方法來促進高速數字計算機的應用方面的研究而獲獎
1971 John McCarthy因對人工智能的貢獻被授予圖靈獎
1972 Edsger W. Dijkstra因在程式設計語言方面的出衆表現而獲獎
1973 Charles W. Bachman因在資料庫方面的傑出貢獻而獲獎
1974 Donald E. Knuth因設計和完成TEX(一種創新的具有很高排版品質的文檔制作工具)而被授予該獎
1975 Allen Newell和Herbert A.Simon因在人工智能、人類心理識别和清單處理等方面進行的基礎研究而獲獎
1976 Michael O. Robin和Dana S. Scott因他們的論文”有限自動機與它們的決策問題”中所提出的非确定性機器這一很有價值的概念而獲獎
1977 John Backus因對可用的進階程式設計系統設計有深遠和重大的影響而獲獎
1978 Robert W. F程式設計的算法方面的深遠影響，并開創了包括剖析理論、程式設計語言的語義、自動程式檢驗、自動程式合成和算法分析在内的多項計算機子學科而被授予該獎
1979 Kenneth E. Iverson因對程式設計語言理論、互動式系統及APL的貢獻被授予該獎
1980 C. Anthony R. Hoare因對程式設計語言的定義和設計所做的貢獻而獲獎
1981 Edgar F. Codd因在資料庫管理系統的理論和實踐方面的貢獻而獲
1982 Steven A. Cook因奠定了NP-Completeness理論的基礎而獲獎
1983 Ken Thompson和Dennis M. Ritchie因在通用作業系統理論方面的突出貢獻, 特别是對UNIX作業系統的推廣的貢獻而獲獎
1984 Niklaus Wirth因開發了EULER, ALGOL-W, MODULA和PASCAL一系列嶄新的計算語言而獲獎
1985 Richard M. Karp因對算法理論的貢獻而獲獎
1986 John E. Hopcroft因在算法及資料結構的設計和分析中所取得的決定性成果而獲獎
1987 John Cocke因在面向對象的程式設計語言和相關的程式設計技巧方面的貢獻而獲獎
1988 Ivan E. Sutherland因在計算機圖形學方面的貢獻而獲獎
1989 William V.Kahan因在數值分析方面的貢獻而獲獎
1990 Fernando J.Corbato因在開發大型多功能，可實作時間和資源共享的計算系統，如CTSS和Multics方面的貢獻而獲獎
1991 Robin Milner因在可計算的函數邏輯(LCF)、ML和并行理論(CCS)這三個方面的貢獻而獲獎
1992 Butler Lampson因在個人分布式計算機系統方面的貢獻而獲獎
1993 Jurlis Hartmanis和Richard E. Stearns因奠定了計算複雜性理論的基礎而獲獎
1994 Raj Reddy和Edward Feigenbaum因對大型人工智能系統的開拓性研究而獲獎
1995 Manuel Blum因奠定了計算複雜性理論的基礎和在密碼術及程式校驗方面的貢獻而獲獎
1996 Amir Pnueli因在中引入臨時邏輯和對程式及系統檢驗的貢獻而獲獎
1997 Douglas Engelbart因提出互動計算概念并創造出實作這一概念的重要技術而獲獎
1998 James Gray因在資料庫和事務處理方面的突出貢獻而獲獎
1999 Frederick P. Brooks, Jr. 由于在計算機體系架構、作業系統以及軟體工程方面所做出的具有裡程碑式意義的貢獻。《人月神話》的作者
2000 Andrew Chi-Chih Yao(姚期智) 由于在計算理論方面的貢獻而獲獎，包括僞随機數的生成算法、加密算法和通訊複雜性
2001 Ole-Johan Dahl, Kristen Nygaard 由于面向對象程式設計始發于他們基礎性的構想，這些構想集中展現在他們所設計的程式設計語言SIMULA I 和SIMULA 67中
2002 Ronald L. Rivest, Adi Shamir, Leonard M. Adleman 由于在公共密鑰理論和實踐方面的基礎性工作而獲獎
2003 Alan Kay 由于在面向對象語言方面原創性思想，上司了Smalltalk的開發團隊，以及對PC的基礎性貢獻。至理名言：預測未來的最好方法是創造它
2004 Vinton G. Cerf, Robert E. Kahn 由于在網際網路方面開創性的工作，這包括設計和實作了網際網路的基礎通訊協定，TCP/IP，以及在網絡方面卓越的上司
2005 Naur Peter 因他在設計Algol 60語言于其定義的清晰性，Algol 60成為了許多現代程式設計語言的原型。在文法描述中廣泛使用的BNF範式，其中的“N”便是來自Peter Naur的名字
2006 Frances E. Allen因其在編譯器優化理論和實踐方面做出的開創性貢獻而獲獎。Allen是該獎項創立40年來的第一位女性得主。
2007 Edmund M. Clarke，Allen Emerson和Joseph Sifakis因為“在将模型檢查發展為被硬體和軟體業中所廣泛采納的高效驗證技術上的貢獻”而榮獲該獎
2008 Barbara Liskov因在計算機軟體更加可靠、安全和更具一緻性方面的貢獻而獲獎。她也成為曆史上第二位獲得圖靈獎的女性
2009 Chuck Thacker以表彰他對第一台現代個人計算機——施樂帕克（Xerox PARC）Alto的先驅性設計，以及在區域網路（包括以太網）、多處理器工作站、窺探高速緩存一緻性協定和平闆PC等方面的傑出成就與貢獻。他是以太區域網路的發明者之一，也是世界是第一台雷射列印機發明者之一
2010 Leslie G. Valiant因對衆多的計算理論，包括PAC學習、枚舉複雜性和代數計算和并行與分布式計算所做的變革性的貢獻而獲獎
2011 Judea Pearl因在人工智能領域的基礎性工作獲獎，他提出的機率和因果性推理演算法，徹底改變了人工智能當初基于規則和推理的方向
TURING獎獲得者分類(1966–2010)
硬體
Maurice V. Wilkes (1967) ——第一台具有内部存儲程式的計算機EDSAC
John Cocke (1987) —— RISC & 編譯優化
Vinton Gray Cerf (2004) —— Internet基礎通訊協定
Chuck Thacke（2009）—— 區域網路
Frances E. Allen（2006）—— 編譯器優化理論
Edmund M. Clarke，Allen Emerson和Joseph Sifakis（2007）——模型驗證
程式語言設計與實作
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 & 編譯優化
Ole-Johan Dahl，Kristen Nygaard (2001) —— Simula語言和面向對象概念 (獲獎前30年)
Alan Kay(2003) ——SmallTalk語言和面向對象程式設計
Peter Naur(2005) —— ALGOL60以及編譯設計
Barbara Liskov(2008) ——資料抽象與分布式計算
Edmund M. Clarke，Allen Emerson和Joseph Sifakis（2007）——模型驗證
算法
Richard Hamming (1968) —— 漢明碼
James Hardy Wilkinson (1970) —— 數值分析
Donald E. Knuth —— art of computer programming
John E. Hopcroft，Robert Endre. Tarjan (1986) ——資料結構和算法設計
William (Velvel) Morton Kahan (1989) —— 浮點運算IEEE标準主要設計師
Andrew Chi-Chih Yao (姚期智) (2000) ——僞随機數複雜性，密碼系統和通訊複雜性
Ronald L. Rivest, Adi Shamir, Leonard M. Adleman(2002) ——公鑰密碼技術
自動機和可計算性
Dana Stewart Scott (1976) —— 自動機
Michael Oser Rabin (1976) ——自動機
Stephen Arthur Cook (1982) —— NP完全性
Richard Manning Karp (1985) —— 證明一個問題是否是屬于NP完全
Juris Hartmanis，Richard Edwin Stearns (1993) —— 計算複雜性
Manuel Blum (1995) —— 計算複雜性，密碼系統和程式檢查驗證
Leslie G. Valiant（2010）——計算複雜性
人工智能
Marvin Lee Minsky (1969) —— 神經元網絡
John McCarthy (1971) —— LISP
Allen Newell，Herbert Simon (1975) —— Logic Theory Machine
Raj Reddy，Edward Feigenbaum(1994) ——專家系統
Leslie G. Valiant（2010）——機器學習
Judea Pearl（2011）—— 機率和因果性推理演算法
作業系統
Dennis MacAlistair Ritchie，Ken Thompson (1983) —— UNIX
Fernando Jose Corbato (1990) ——分時系統
Frederick P. Brooks(1999) —— IBM System360 作業系統
資料庫
Charles W. Bachman (1973) —— 資料庫
Edgar Frank Codd (1981) ——關系資料模型
James Gray(1998) —— 資料庫和事務處理
圖像處理和互動式系統
Ivan Edward Sutherland (1988) ——圖像處理，CAD
Douglas Engelbart(1998) —— 互動式系統，滑鼠發明人
程式語言語義
Dana Stewart Scott (1976) ——自動機
Robert W. Floyd (1978) —— 程式設計語言語義，自動程式驗證
C. Antony R. Hoare (1980) —— Hoare Logic, CSP
Robin Milner (1991) —— LCF，ML，CCS，PI-calculus
Amir Pnueli (1996) —— 時序邏輯和系統驗證
