原文出自： http://zh.wikipedia.org/wiki/%E5%9B%BE%E7%81%B5%E5%A5%96

推薦讀物

1. ACM圖靈獎官方網站

2. ACM圖靈獎(1966-2006)第三版－計算機發展史的縮影. 高等教育出版社, 2008年

3. IEEE計算機先驅獎(1980-2006)第二版－計算機科學與技術中的發明史. 高等教育出版社, 2008年

附：55位圖靈獎獲得者全家福

圖靈獎 （Turing Award），是美國計算機協會（ACM）于1966年設立的，又叫“A.M. 圖靈獎”，專門獎勵那些對計算機事業作出重要貢獻的個人。其名稱取自計算機科學的先驅、英國科學家阿蘭·圖靈，這個獎設立目的之一是紀念這位科學家。獲獎者的貢獻必須是在計算機領域具有持久而重大的技術先進性的。大多數獲獎者是計算機科學家。

圖靈獎是計算機界最負盛名的獎項，有“計算機界諾貝爾獎”之稱。圖靈獎對獲獎者的要求極高，評獎程序也極嚴，一般每年只獎勵一名計算機科學家，只有極少數年度有兩名以上在同一方向上做出貢獻的科學家同時獲獎。目前圖靈獎由英特爾公司以及Google公司贊助，獎金為250,000美元。

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

1966-2008 歷屆圖靈獎獲得者

年份 中文譯名 姓名 貢獻領域

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	UNIX 操作系統和 C語言
1984年	尼古拉斯·沃斯	Niklaus Wirth	程序設計語言設計、程序設計
1985年	理查德·卡普	Richard M. Karp	算法理論，尤其是 NP-完全性 理論
1986年	約翰·霍普克羅夫特 羅伯特·塔揚	John Hopcroft Robert Tarjan	算法和數據結構的設計與分析
1987年	約翰·科克	John Cocke	編譯理論，大型系統的體系結構，及精簡指令集（ RISC ）計算機的開發
1988年	伊凡·蘇澤蘭	Ivan Sutherland	計算機圖形學
1989年	威廉·卡亨	William (Velvel) 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年 [1]	愛德蒙·克拉克 艾倫·愛默生 約瑟夫·斯發基斯	Edmund M. Clarke Allen Emerson Joseph Sifakis	開發自動化方法檢測計算機硬件和軟件中的設計錯誤
2008年	芭芭拉·利斯科夫	Barbara Liskov	編程語言和系統設計的實踐與理論

1966-2008 ACM圖靈獎得主