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

推薦讀物

1. ACM圖靈獎官方網(wǎng)站

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

3. IEEE計(jì)算機(jī)先驅(qū)獎(1980-2006)第二版－計(jì)算機(jī)科學(xué)與技術(shù)中的發(fā)明史. 高等教育出版社, 2008年

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

圖靈獎 （Turing Award），是美國計(jì)算機(jī)協(xié)會（ACM）于1966年設(shè)立的，又叫“A.M. 圖靈獎”，專門獎勵那些對計(jì)算機(jī)事業(yè)作出重要貢獻(xiàn)的個人。其名稱取自計(jì)算機(jī)科學(xué)的先驅(qū)、英國科學(xué)家阿蘭·圖靈，這個獎設(shè)立目的之一是紀(jì)念這位科學(xué)家。獲獎?wù)叩呢暙I(xiàn)必須是在計(jì)算機(jī)領(lǐng)域具有持久而重大的技術(shù)先進(jìn)性的。大多數(shù)獲獎?wù)呤怯?jì)算機(jī)科學(xué)家。

圖靈獎是計(jì)算機(jī)界最負(fù)盛名的獎項(xiàng)，有“計(jì)算機(jī)界諾貝爾獎”之稱。圖靈獎對獲獎?wù)叩囊髽O高，評獎程序也極嚴(yán)，一般每年只獎勵一名計(jì)算機(jī)科學(xué)家，只有極少數(shù)年度有兩名以上在同一方向上做出貢獻(xiàn)的科學(xué)家同時獲獎。目前圖靈獎由英特爾公司以及Google公司贊助，獎金為250,000美元。

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

1966-2008 歷屆圖靈獎獲得者

年份 中文譯名 姓名 貢獻(xiàn)領(lǐng)域

1966年	艾倫·佩利	Alan J. Perlis	高級 程序設(shè)計(jì) 技巧， 編譯器 構(gòu)造
1967年	莫里斯·威爾克斯	Maurice V. Wilkes	存儲程序式計(jì)算機(jī) EDSAC , 程序 庫
1968年	理查德·衛(wèi)斯里·漢明	Richard Hamming	數(shù)值方法，自動編碼系統(tǒng)，錯誤檢測和糾錯碼
1969年	馬文·閔斯基	Marvin Minsky	人工智能
1970年	詹姆斯·維爾金森	James H. Wilkinson	數(shù)值分析，線性代數(shù)，“倒退”錯誤分析
1971年	約翰·麥卡錫	John McCarthy	人工智能
1972年	艾茲格·迪科斯徹	Edsger Dijkstra	程序設(shè)計(jì)語言 的科學(xué)與藝術(shù)
1973年	查理士·巴赫曼	Charles W. Bachman	數(shù)據(jù)庫技術(shù)
1974年	高德納	Donald E. Knuth	算法分析、程序設(shè)計(jì)語言的設(shè)計(jì)、程序設(shè)計(jì)
1975年	艾倫·紐厄爾 赫伯特·西蒙	Allen Newell Herbert A. Simon	人工智能，人類認(rèn)知心理學(xué)和列表處理 (list processing)
1976年	邁克爾·拉賓 達(dá)納·斯科特	Michael O. Rabin Dana S. Scott	非確定性自動機(jī)
1977年	約翰·巴克斯	John Backus	高級編程系統(tǒng)，程序設(shè)計(jì)語言規(guī)范的形式化定義
1978年	羅伯特·弗洛伊德	Robert W. Floyd	設(shè)計(jì)高效可靠軟件的方法學(xué)
1979年	肯尼斯·艾佛森	Kenneth E. Iverson	程序設(shè)計(jì)語言和數(shù)學(xué)符號，互動系統(tǒng)的設(shè)計(jì)，運(yùn)用 APL進(jìn)行教學(xué)，程序設(shè)計(jì)語言的理論與實(shí)踐
1980年	安東尼·何珥	C. Antony R. Hoare	程序設(shè)計(jì)語言的定義與設(shè)計(jì)
1981年	埃德加·科德	Edgar F. Codd	數(shù)據(jù)庫系統(tǒng)，尤其是 關(guān)系型數(shù)據(jù)庫
1982年	史提芬·古克	Stephen A. Cook	計(jì)算復(fù)雜度
1983年	肯·湯普遜 丹尼斯·里奇	Ken Thompson Dennis M. Ritchie	UNIX 操作系統(tǒng)和 C語言
1984年	尼古拉斯·沃斯	Niklaus Wirth	程序設(shè)計(jì)語言設(shè)計(jì)、程序設(shè)計(jì)
1985年	理查德·卡普	Richard M. Karp	算法理論，尤其是 NP-完全性 理論
1986年	約翰·霍普克羅夫特 羅伯特·塔揚(yáng)	John Hopcroft Robert Tarjan	算法和數(shù)據(jù)結(jié)構(gòu)的設(shè)計(jì)與分析
1987年	約翰·科克	John Cocke	編譯理論，大型系統(tǒng)的體系結(jié)構(gòu)，及精簡指令集（ RISC ）計(jì)算機(jī)的開發(fā)
1988年	伊凡·蘇澤蘭	Ivan Sutherland	計(jì)算機(jī)圖形學(xué)
1989年	威廉·卡亨	William (Velvel) Kahan	數(shù)值分析
1990年	費(fèi)爾南多·考巴托	Fernando J. Corbató	CTSS 和 Multics
1991年	羅賓·米爾納	Robin Milner	LCF ， ML語言 ， CCS
1992年	巴特勒·蘭普森	Butler W. Lampson	分布式，個人計(jì)算環(huán)境
1993年	尤里斯·哈特馬尼斯 理查德·斯特恩斯	Juris Hartmanis Richard E. Stearns	計(jì)算復(fù)雜度理論
1994年	愛德華·費(fèi)根鮑姆 拉吉·瑞迪	Edward Feigenbaum Raj Reddy	大規(guī)模人工智能系統(tǒng)
1995年	曼紐爾·布盧姆	Manuel Blum	計(jì)算復(fù)雜度理論，及其在 密碼學(xué) 和程序校驗(yàn)上的應(yīng)用
1996年	艾米爾·伯努利	Amir Pnueli	時序邏輯 ，程序與系統(tǒng) 驗(yàn)證
1997年	道格拉斯·恩格爾巴特	Douglas Engelbart	互動計(jì)算
1998年	詹姆斯·尼古拉·格雷	James Gray	數(shù)據(jù)庫與事務(wù)處理
1999年	弗雷德里克·布魯克斯	Frederick P. Brooks, Jr.	計(jì)算機(jī)體系結(jié)構(gòu) ， 操作系統(tǒng) ， 軟件工程
2000年	姚期智	Andrew Chi-Chih Yao	計(jì)算理論，包括 偽隨機(jī)數(shù)生成 ，密碼學(xué)與通信復(fù)雜度
2001年	奧利-約翰·達(dá)爾 克利斯登·奈加特	Ole-Johan Dahl Kristen Nygaard	2002年	羅納德·李維斯特 阿迪·薩莫爾 倫納德·阿德曼	Ronald L. Rivest Adi Shamir Leonard M. Adleman	公鑰密碼學(xué) （ RSA加密算法 ）
2003年	阿倫·凱	Alan Kay	2004年	文特·瑟夫 羅伯特·卡恩	Vinton G. Cerf Robert E. Kahn	TCP/IP 協(xié)議
2005年	彼得·諾爾	Peter Naur	Algol 60 語言
2006年	法蘭西斯·艾倫	Frances E. Allen	優(yōu)化編譯器
2007年 [1]	愛德蒙·克拉克 艾倫·愛默生 約瑟夫·斯發(fā)基斯	Edmund M. Clarke Allen Emerson Joseph Sifakis	開發(fā)自動化方法檢測計(jì)算機(jī)硬件和軟件中的設(shè)計(jì)錯誤
2008年	芭芭拉·利斯科夫	Barbara Liskov	編程語言和系統(tǒng)設(shè)計(jì)的實(shí)踐與理論

1966-2008 ACM圖靈獎得主