歷屆圖靈獎獲得者及獲獎原因：
圖靈獎（Turing Award，又譯杜林獎），是計算機協(xié)會（ACM）于1966年設(shè)立的，又叫“A.M.圖靈獎”，專門獎勵那些對計算機事業(yè)作出重要貢獻的個人。目前圖靈獎由英特爾公司以及Google公司贊助，獎金為250,000美元。
2016 Tim Berners-Lee
獲獎原因：蒂姆·伯納斯·李發(fā)明了萬維網(wǎng)及第一個網(wǎng)頁瀏覽器，由他所發(fā)明的基礎(chǔ)協(xié)議和算法也使得網(wǎng)絡(luò)達到今日的規(guī)模。
獲獎原因：發(fā)明迪菲-赫爾曼密鑰交換，對公開密鑰加密技術(shù)有重大貢獻。
2014 邁克爾·斯通布雷克
獲獎原因：對現(xiàn)代數(shù)據(jù)庫的概念和實踐作出的根本性貢獻。
2013? 萊斯利·蘭波特
獲獎原因：對于分布式及并形系統(tǒng)的理論與實踐具有基礎(chǔ)性貢獻，尤其是諸如因果邏輯時序（causality and logical clocks）、安全性與存活度（safety and liveness）、復制狀態(tài)機（replicated state machines）及循序一致性（英語：sequential consistency）（sequential consistency）等理論概念的發(fā)明。
2012 ?Shafi Goldwasser和Silvio Micali
獲獎原因：在密碼科學復雜理論基礎(chǔ)過程中做出變革性工作，并且發(fā)展了保證網(wǎng)上交易安全的黃金法則”。
2011 Judea Pearl
獲獎原因：通過概率論和因果推理對人工智能領(lǐng)域作出的根本性貢獻
2010Leslie Valiant對眾多計算理論所做的變革性的貢獻
獲獎原因：表彰他在讓計算機模擬人類思考和邏輯推理方面作出的突出貢獻。
2009 Charles Thacker
獲獎原因：對第一臺現(xiàn)代個人計算機Xerox PARC Alto的先驅(qū)性設(shè)計與實現(xiàn)，還有在局域網(wǎng)（包括以太網(wǎng)）、多處理器工作站、窺探高速緩存一致性協(xié)議和平板PC等方面的重大發(fā)明和貢獻
2008 Barbara Liskov編程語言和系統(tǒng)設(shè)計的實踐與理論
獲獎原因：第一個支持數(shù)據(jù)抽象的面向?qū)ο?/a>編程語言CLU的設(shè)計與實現(xiàn)，第一個支持分布式程序?qū)崿F(xiàn)的高級語言Argus，面向?qū)ο髷?shù)據(jù)庫系統(tǒng)Thor，還有最近的Byzantine分布式容錯系統(tǒng)
2007 Edmund M. Clarke、Allen Emerson和Joseph Sifakis
獲獎原因：在將模型檢查發(fā)展為被硬件和軟件業(yè)中所廣泛采納的高效驗證技術(shù)上的貢獻。而DDJ則將三人的貢獻稱為“在發(fā)現(xiàn)計算機硬件和軟件中設(shè)計錯誤的自動化方法方面的工作”。
2006 Fran Allen
獲獎原因：對于優(yōu)化編譯器技術(shù)的理論和實踐做出的先驅(qū)性貢獻，這些技術(shù)為現(xiàn)代優(yōu)化編譯器和自動并行執(zhí)行打下了基礎(chǔ)。
2005 Peter Naur
獲獎原因：由于在設(shè)計Algol60程序設(shè)計語言上的貢獻。Algol60語言定義清晰，是許多現(xiàn)代程序設(shè)計語言的原型。
2004 Vinton G. Cerf、Robert E. Kahn
獲獎原因：由于在互聯(lián)網(wǎng)方面開創(chuàng)性的工作，這包括設(shè)計和實現(xiàn)了互聯(lián)網(wǎng)的基礎(chǔ)通訊協(xié)議，TCP/IP，以及在網(wǎng)絡(luò)方面卓越的領(lǐng)導。
2003 Alan Kay
獲獎原因：由于在面向?qū)ο笳Z言方面原創(chuàng)性思想，領(lǐng)導了Smalltalk的開發(fā)團隊，以及對PC的基礎(chǔ)性貢獻。
至理名言：預測未來的最好方法是創(chuàng)造它。
2002 Ronald L. Rivest、Adi Shamir、Leonard M. Adleman
獲獎原因：由于在公共密鑰理論和實踐方面的基礎(chǔ)性工作。
2001 Ole-Johan Dahl、Kristen Nygaard
獲獎原因：由于面向?qū)ο缶幊淌及l(fā)于他們基礎(chǔ)性的構(gòu)想，這些構(gòu)想集中體現(xiàn)在他們所設(shè)計的編程語言SIMULA I和SIMULA 67中。
2000 Andrew Chi-Chih Yao(姚期智)
獲獎原因：由于在計算理論方面的貢獻而獲獎，包括偽隨機數(shù)的生成算法、加密算法和通訊復雜性。
1999 Frederick P. Brooks, Jr.
獲獎原因：由于在計算機體系架構(gòu)、操作系統(tǒng)以及軟件工程方面所做出的具有里程碑式意義的貢獻。人月神話的作者。
1998 James Gray
獲獎原因：由于在數(shù)據(jù)庫、事務(wù)處理研究和相關(guān)系統(tǒng)實現(xiàn)的技術(shù)領(lǐng)導工作。
1997 Douglas Engelbart
獲獎原因：由于提出了激動人心的交互式計算機未來構(gòu)想，以及發(fā)明了實現(xiàn)這一構(gòu)想的關(guān)鍵技術(shù)。
1996 Amir Pnueli
獲獎原因：由于在計算科學中引入temporal邏輯以及對編程和系統(tǒng)認證方面的杰出貢獻。
1995 Manuel Blum
獲獎原因：由于在計算復雜性理論、密碼學以及程序校驗方面的基礎(chǔ)性貢獻。
1994 Edward Feigenbaum、Raj Reddy
獲獎原因：由于他們所設(shè)計和建造的大規(guī)模人工智能系統(tǒng)，證明了人工智能技術(shù)的重要性和其潛在的商業(yè)價值。
1993 Juris Hartmanis、Richard E. Stearns
獲獎原因：由于他們的論文奠定了計算復雜性理論的基礎(chǔ)。
1992 Butler W. Lampson
獲獎原因：由于在個人分布式計算機系統(tǒng)及其實現(xiàn)技術(shù)上的貢獻，這包括：工作站、網(wǎng)絡(luò)、操作系統(tǒng)、編程系統(tǒng)、顯示、安全和文檔發(fā)布。
1991 Robin Milner
獲獎原因：由于在可計算函數(shù)邏輯(LCF)、ML和并行理論(CCS)這三個方面突出和完美的貢獻。
1990 Fernando J. Corbato'
獲獎原因：由于組織和領(lǐng)導了多功能、大規(guī)模、時間和資源共享的計算機系統(tǒng)的開發(fā)。
1989 William (Velvel) Kahan
獲獎原因：由于在數(shù)值分析方面的基礎(chǔ)性貢獻。
1988 Ivan Sutherland
獲獎原因：由于在計算機圖形學方面開創(chuàng)性和遠見性的貢獻，其所建立的技術(shù)歷經(jīng)二、三十年依然有效。
1987 John Cocke
獲獎原因：由于在編譯器設(shè)計和理論、大規(guī)模系統(tǒng)架構(gòu)以及開發(fā)RISC等方面的重要貢獻。
1986 John Hopcroft、Robert Tarjan
獲獎原因：由于在算法及數(shù)據(jù)結(jié)構(gòu)設(shè)計和分析方面的基礎(chǔ)性成就。
1985 Richard M. Karp
獲獎原因：由于在算法理論方面，特別是NP-completeness理論方面，連續(xù)不斷的貢獻。
1984 Niklaus Wirth
獲獎原因：由于開發(fā)了EULER、ALGOL-W、MODULA和PASCAL一系列嶄新的計算語言。
1983Ken Thompson、Dennis M. Ritchie
獲獎原因：由于在通用操作系統(tǒng)理論研究，特別是UNIX操作系統(tǒng)的實現(xiàn)上的貢獻。
1982 Stephen A. Cook
獲獎原因：由于其于1971年發(fā)表的論文，奠定了NP-Completeness理論的基礎(chǔ)。
1981 Edgar F. Codd
獲獎原因：由于在數(shù)椐庫管理系統(tǒng)的理論和實踐方面基礎(chǔ)性和連續(xù)不斷的貢獻，關(guān)系數(shù)據(jù)庫之父。
1980 C. Antony R. Hoare
獲獎原因：由于在編程語言的定義和設(shè)計方面的基礎(chǔ)性貢獻。
1979 Kenneth E. Iverson
獲獎原因：由于在編程語言的理論和實踐方面，特別是APL，所進行的開創(chuàng)性的工作。
1978 Robert W. Floyd
獲獎原因：由于在如何開發(fā)高效、可靠的軟件方法論方面的貢獻，這包括：建立分析理論、編程語言的語義學、自動程序檢驗、自動程序綜合和算法分析在內(nèi)的多項
計算機子學科。
1977 John Backus
獲獎原因：由于在高級語言方面所做出的具有廣泛和深遠意義的貢獻，特別是其在Fortran語言方面。
1976 Michael O. Rabin、Dana S. Scott
獲獎原因：由于他們的論文"有限自動機與它們的決策問題"，被證明具有巨大的價值。
1975 Allen Newell、Herbert A. Simon
獲獎原因：由于在人工智能、人類識別心理和表處理的基礎(chǔ)貢獻。
1974 Donald E. Knuth
獲獎原因：由于在算法分析和程序語言設(shè)計方面的重要貢獻，計算機程序設(shè)計藝術(shù)的作者。
1973 Charles W. Bachman
獲獎原因：由于在數(shù)據(jù)庫方面的杰出貢獻。
1972 E.W. Dijkstra
獲獎原因：由于對開發(fā)ALGOL做出了原理性貢獻。
1971 John McCarthy
獲獎原因：由于其講稿"The Present State of Research on Artificial
Intellegence"，對人工智能領(lǐng)域的貢獻。
1970 J.H. Wilkinson
獲獎原因：由于其在數(shù)值分析方面的研究工作。
1969 Marvin Minsky
獲獎原因：人工智能理論及軟件
1968 Richard Hamming
獲獎原因：由于其在計數(shù)方法、自動編碼系統(tǒng)、檢測及糾正錯碼方面的工作。
1967 Maurice V. Wilkes
獲獎原因：由于設(shè)計和制造了第一臺內(nèi)部存儲程序的計算機EDSAC。
1966 A.J. Perlis
獲獎原因：由于其在先進編程技術(shù)和編譯架構(gòu)方面的貢獻。
??}@+??
