历届图灵奖得主及研究领域
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年 | 朱迪亞·珀爾 | 通過概率論和因果推理對人工智能領域作出的根本性貢獻 |
| 2012年 | 莎菲·戈德瓦塞爾 | 在密碼科學領域里，于復雜理論的基礎之上，做出變革性工作；并領先發展出新的具有數學可證明性的有效驗證機制[6] |
| 希爾維奧·米卡利 | ||
| 2013年 | 萊斯利·蘭波特 | 對于分布式及并形系統的理論與實踐具有基礎性貢獻，尤其是諸如因果邏輯時序（causality and logical clocks）、安全性與存活度（safety and liveness）、復制狀態機（replicated state machines）及循序一致性（sequential consistency）等理論概念的發明[7] |
| 2014年 | 邁克爾·斯通布雷克 | 對現代數據庫的概念和實踐作出的根本性貢獻 |
| 2015年 | 惠特菲爾德·迪菲 | 發明迪菲-赫爾曼密鑰交換，對公開密鑰加密技術有重大貢獻[8]。 |
| 馬丁·赫爾曼 |
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) —— 時序邏輯和系統驗證
總結
以上是生活随笔為你收集整理的历届图灵奖得主及研究领域的全部內容，希望文章能夠幫你解決所遇到的問題。
- 上一篇： synchronized的偏斜锁，轻量级
- 下一篇： 【图像语义分割】Large Kernel