歷屆圖靈獎 (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) —— 時序邏輯和系統驗證

?

?

?

總結

以上是生活随笔為你收集整理的历届图灵奖 (Turing award)得奖名单的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。