世界聚焦：被喻為計算機界的諾貝爾獎——TurinSAC

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) —— 時序邏輯和系統驗證