圖靈和ACM圖靈獎(jiǎng)：紀(jì)念計(jì)算機(jī)誕生70周年（1966-2015 第五版）

圖靈和圖靈獎(jiǎng)
1966年圖靈獎(jiǎng)獲得者：艾倫·佩利——ALGOL語言和計(jì)算機(jī)科學(xué)的“催生者”
1967年圖靈獎(jiǎng)獲得者：莫里斯·威爾克斯——世界上第一臺存儲程序式計(jì)算機(jī)：EDSAC的研制者
1968年圖靈獎(jiǎng)獲得者：理查德·哈明——發(fā)明糾錯(cuò)碼的大數(shù)學(xué)家和信息學(xué)專家
1969年圖靈獎(jiǎng)獲得者：馬文·明斯基——“人工智能之父”和框架理論的創(chuàng)立者
1970年圖靈獎(jiǎng)獲得者：詹姆斯·威爾金森——數(shù)值分析專家和研制ACE計(jì)算機(jī)的功臣
1971年圖靈獎(jiǎng)獲得者：約翰·麥卡錫——“人工智能之父”和LISP語言的發(fā)明人
1972年圖靈獎(jiǎng)獲得者：埃德斯加·狄克斯特拉——最先察覺“goto有害”的計(jì)算機(jī)科學(xué)大師
1973年圖靈獎(jiǎng)獲得者：查爾斯·巴赫曼——“網(wǎng)狀數(shù)據(jù)庫之父”
1974年圖靈獎(jiǎng)獲得者：唐納德·克努特——經(jīng)典巨著《計(jì)算機(jī)程序設(shè)計(jì)的藝術(shù)》的年輕作者
1975年圖靈獎(jiǎng)獲得者：赫伯特·西蒙和艾倫·紐厄爾——人工智能符號主義學(xué)派的創(chuàng)始人
1976年圖靈獎(jiǎng)獲得者：米凱爾·拉賓和達(dá)納·斯科特——非確定性有限狀態(tài)自動(dòng)機(jī)理論的開創(chuàng)者
1977年圖靈獎(jiǎng)獲得者：約翰·巴克斯——FORTRAN和BNF的發(fā)明者
1978年圖靈獎(jiǎng)獲得者：羅伯特·弗洛伊德——前后斷言法的創(chuàng)始人
1979年圖靈獎(jiǎng)獲得者：肯尼思·艾弗森——大器晚成的科學(xué)家，APL的發(fā)明人
1980年圖靈獎(jiǎng)獲得者：查爾斯·霍爾——從QUICKSORT、CASE到程序設(shè)計(jì)語言的公理化
1981年圖靈獎(jiǎng)獲得者：埃德加·科德——關(guān)系數(shù)據(jù)庫之父
1982年圖靈獎(jiǎng)獲得者：斯蒂芬·庫克——NP完全性理論的奠基人
1983年圖靈獎(jiǎng)獲得者：肯尼思·湯普森和丹尼斯·里奇——C和UNIX的發(fā)明者
1984年圖靈獎(jiǎng)獲得者：尼克勞斯·沃思——PASCAL之父及結(jié)構(gòu)化程序設(shè)計(jì)的首創(chuàng)者
1985年圖靈獎(jiǎng)獲得者：理查德·卡普——發(fā)明“分支限界法”的三棲學(xué)者
1986年圖靈獎(jiǎng)獲得者：約翰·霍普克洛夫特和羅伯特·陶爾揚(yáng)——碩果累累的算法設(shè)計(jì)大師
1987年圖靈獎(jiǎng)獲得者：約翰·科克——RISC概念的首創(chuàng)者
1988年圖靈獎(jiǎng)獲得者：伊萬·薩瑟蘭——計(jì)算機(jī)圖形學(xué)之父
1989年圖靈獎(jiǎng)獲得者：威廉·卡亨——浮點(diǎn)計(jì)算的先驅(qū)
1990年圖靈獎(jiǎng)獲得者：費(fèi)爾南多·考巴脫——實(shí)現(xiàn)分時(shí)系統(tǒng)的功臣
1991年圖靈獎(jiǎng)獲得者：羅賓·米爾納——標(biāo)準(zhǔn)元語言ML的開發(fā)者
1992年圖靈獎(jiǎng)獲得者：巴特勒·蘭普森——從Alto系統(tǒng)的首席科學(xué)家到微軟的首席技術(shù)官
1993年圖靈獎(jiǎng)獲得者：尤里斯·哈特馬尼斯和理查德·斯特恩斯——計(jì)算復(fù)雜性理論的主要奠基人
1994年圖靈獎(jiǎng)獲得者：愛德華·費(fèi)根鮑姆和勞伊·雷迪——大型人工智能系統(tǒng)的開拓者
1995年圖靈獎(jiǎng)獲得者：曼紐爾·布盧姆——計(jì)算復(fù)雜性理論的主要奠基人之一
1996年圖靈獎(jiǎng)獲得者：阿米爾·伯努利——把時(shí)態(tài)邏輯引入計(jì)算機(jī)科學(xué)
1997年圖靈獎(jiǎng)獲得者：道格拉斯·恩格爾巴特——鼠標(biāo)器的發(fā)明人和超文本研究的先驅(qū)
1998年圖靈獎(jiǎng)獲得者：詹姆斯·格雷——數(shù)據(jù)庫技術(shù)和“事務(wù)處理”專家
1999年圖靈獎(jiǎng)獲得者：弗雷德里克·布魯克斯——IBM 360系列計(jì)算機(jī)的總設(shè)計(jì)師和總指揮
2000年圖靈獎(jiǎng)獲得者：姚期智——計(jì)算理論領(lǐng)域卓越的開拓者
2001年圖靈獎(jiǎng)獲得者：奧爾一約翰·戴爾和克利斯登·奈加特——挪威計(jì)算機(jī)科學(xué)家，面向?qū)ο蠹夹g(shù)奠基人
2002年圖靈獎(jiǎng)獲得者：利維斯、沙米爾和阿德勒曼——最具影響力的公鑰密碼算法RSA的發(fā)明人
2003年圖靈獎(jiǎng)獲得者：艾倫·凱——“個(gè)人計(jì)算機(jī)之父”及Smalltalk語言發(fā)明人
2004年圖靈獎(jiǎng)獲得者：文登·塞夫和羅伯特·凱恩——Internet基礎(chǔ)通信協(xié)議TCP／IP之父
2005年圖靈獎(jiǎng)獲得者：彼得·諾爾——從天文學(xué)家到計(jì)算機(jī)科學(xué)家
2006年圖靈獎(jiǎng)獲得者：弗朗西斯·愛倫——編譯器優(yōu)化理論與實(shí)踐的先驅(qū)
2007年圖靈獎(jiǎng)獲得者：克拉克、埃默生和希法凱斯——計(jì)算機(jī)輔助驗(yàn)證技術(shù)的先驅(qū)
2008年圖靈獎(jiǎng)獲得者：芭芭拉·利斯科夫——計(jì)算機(jī)程序設(shè)計(jì)語言和系統(tǒng)的先驅(qū)
2009年圖靈獎(jiǎng)獲得者：查爾斯·薩克爾——計(jì)算機(jī)系統(tǒng)架構(gòu)的創(chuàng)新型設(shè)計(jì)大師
2010年圖靈獎(jiǎng)獲得者：萊斯利·瓦利安特——成果豐碩的理論計(jì)算機(jī)科學(xué)大師
2011年圖靈獎(jiǎng)獲得者：朱迪·珀?duì)枴惾~斯網(wǎng)絡(luò)開創(chuàng)人工智能新天地
2012年圖靈獎(jiǎng)獲得者：西爾維·米卡利和莎菲·戈德瓦瑟——現(xiàn)代密碼學(xué)數(shù)學(xué)基礎(chǔ)的奠定者
2013年圖靈獎(jiǎng)獲得者：萊斯利·蘭波特——分布式計(jì)算原理之父
2014年圖靈獎(jiǎng)獲得者：邁克爾·斯通布雷克——享有盛譽(yù)的數(shù)據(jù)庫專家
2015年圖靈獎(jiǎng)獲得者：惠特菲爾特·迪菲和馬丁·赫爾曼——密碼學(xué)新紀(jì)元的開拓者
附錄一 計(jì)算技術(shù)發(fā)展大事記（截至20世紀(jì)末）
附錄二 向計(jì)算機(jī)專業(yè)師生推薦兩本好書
人名索引（Name Index）
總索引（General Index）
參考文獻(xiàn)