圖靈獎現狀、圖靈獎最新獲得者及其貢獻

 圖靈獎（A.M. Turing Award，又譯“杜林獎”），由美國計算機協會（ACM）於1966年設立，又叫“A.M.圖靈獎”，專門獎勵那些對計算機事業作出重要貢獻的個人。其名稱取自計算機科學的先驅、英國科學家阿蘭·麥席森·圖靈。由於圖靈獎對獲獎條件要求極高，評獎程序又是極嚴，一般每年只獎勵一名計算機科學家，只有極少數年度有兩名合作者或在同一方向作出貢獻的科學家共享此獎。因此它是計算機界最負盛名、最崇高的一個獎項，有“計算機界的**獎”之稱。
      獎金金額不算太高，設獎初期爲2萬美元，1989年起增到2萬5千美元，獎金通常由計算機界的一些大企業提供（通過與ACM簽訂協議）。目前圖靈獎由英特爾公司和google公司贊助，獎金爲250,000美元。

      每年，美國計算機協會將要求提名人推薦本年度的圖靈獎候選人，並附加一份200到500字的文章，說明被提名者爲什麼應獲此獎。任何人都可成爲提名人。美國計算機協會將組成評選委員會對被提名者進行嚴格的評審，並最終確定當年的獲獎者。

      從1966年到2011年的46屆圖靈獎，共計有58名科學家獲此殊榮，其中美國學者最多，此外還有英國、瑞士、荷蘭、以色列等國少數學者。
     截止至2011年，獲此殊榮的華人僅有一位，他是2000年圖靈獎得主姚期智。
      最新一屆圖靈獎得主是：沙菲·戈德瓦塞爾西爾維·奧麥克林。由於在密碼學和複雜理論領域做出創舉性工作獲得2012年圖靈獎。 

 

 

圖

歷屆圖靈獎獲得者

年份	中文譯名	姓名	貢獻領域
1966年	艾倫·佩利	Alan J. Perlis	高級程序設計技巧，編譯器構造
1967年	莫里斯·威爾克斯	Maurice V. Wilkes	存儲程序式計算機EDSAC，程序庫
1968年	理查德·衛斯里·漢明	Richard Hamming	數值方法，自動編碼系統，錯誤檢測和糾錯碼
1969年	馬文·閔斯基	Marvin Minsky	人工智能
1970年	詹姆斯·維爾金森	James H. Wilkinson	數值分析，線性代數，倒退錯誤分析
1971年	約翰·麥卡錫	John McCarthy	人工智能
1972年	艾茲格·迪科斯徹	Edsger Dijkstra	程序設計語言的科學與藝術
1973年	查理士·巴赫曼	Charles W. Bachman	數據庫技術
1974年	高德納	Donald E. Knuth	算法分析、程序設計語言的設計、程序設計
1975年	艾倫·紐厄爾 赫伯特·西蒙	Allen Newell Herbert A. Simon	人工智能，人類認知心理學和列表處理 (list processing)
1976年	邁克爾·拉賓 達納·斯科特	Michael O. Rabin Dana S. Scott	非確定性自動機
1977年	約翰·巴克斯	John Backus	高級編程系統，程序設計語言規範的形式化定義
1978年	羅伯特·弗洛伊德	Robert W. Floyd	設計高效可靠軟件的方法學
1979年	肯尼斯·艾佛森	Kenneth E. Iverson	程序設計語言和數學符號，互動系統的設計，運用 APL進行教學，程序設計語言的理論與實踐
1980年	東尼·霍爾	C. Antony R. Hoare	程序設計語言的定義與設計
1981年	埃德加·科德	Edgar F. Codd	數據庫系統，尤其是關係型數據庫
1982年	史提芬·古克	Stephen A. Cook	計算複雜度
1983年	肯·湯普遜 丹尼斯·裏奇	Ken Thompson Dennis M. Ritchie	UNⅨ操作系統和C語言
1984年	尼古拉斯·沃斯	Niklaus Wirth	程序設計語言設計、程序設計
1985年	理查德·卡普	Richard M. Karp	算法理論，尤其是NP-完全性理論
1986年	約翰·霍普克羅夫特 羅伯特·塔揚	John Hopcroft Robert Tarjan	算法和數據結構的設計與分析
1987年	約翰·科克	John Cocke	編譯理論，大型系統的體系結構，及精簡指令集（RISC）計算機的開發
1988年	伊凡·蘇澤蘭	Ivan Sutherland	計算機圖形學
1989年	威廉·卡亨	William Morton Kahan	數值分析
1990年	費爾南多·考巴託	Fernando J. Corbató	CTSS和 Multics
1991年	羅賓·米爾納	Robin Milner	LCF，ML語言，CCS
1992年	巴特勒·蘭普森	Butler W. Lampson	分佈式，個人計算環境
1993年	尤里斯·哈特馬尼斯 理查德·斯特恩斯	Juris Hartmanis Richard E. Stearns	計算複雜度理論
1994年	愛德華·費根鮑姆 拉吉·瑞迪	Edward Feigenbaum Raj Reddy	大規模人工智能系統
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	面向對象編程
2002年	羅納德·李維斯特 阿迪·薩莫爾 倫納德·阿德曼	Ronald L. Rivest Adi Shamir Leonard M. Adleman	公鑰密碼學（RSA加密算法）
2003年	艾倫·凱	Alan Kay	面向對象編程
2004年	文特·瑟夫 羅伯特·卡恩	Vinton G. Cerf Robert E. Kahn	TCP/IP協議
2005年	彼得·諾爾	Peter Naur	Algol 60語言
2006年	法蘭西斯·艾倫	Frances E. Allen	優化編譯器
2007年	愛德蒙·克拉克 艾倫·愛默生 約瑟夫·斯發基斯	Edmund M. Clarke Allen Emerson Joseph Sifakis	開發自動化方法檢測計算機硬件和軟件中的設計錯誤
2008年	芭芭拉·利斯科夫	Barbara Liskov	編程語言和系統設計的實踐與理論
2009年	查爾斯·薩克爾	Charles Thacker	幫助設計、製造第一款現代PC
2010年	萊斯利·瓦倫特	Leslie Valiant	對衆多計算理論所做的變革性的貢獻
2011年	猶大·伯爾	Judea Pearl	人工智能
2012年	沙菲·戈德瓦塞 爾 西爾維·奧麥克林	Shafi Goldwasser Silvio Micali	由於在密碼學和複雜理論領域做出創舉性工作