图灵奖获得者年份中文译名姓名贡献领域1966年艾伦·佩利Alan J. Perlis高级程序设计技巧，编译器构造1967年莫里斯·威尔克斯Maurice V. Wilkes存储过程式计算机EDSAC，EDSAC 2，程序库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 NewellHerbert A. Simon人工智能，人类认知心理学和列表处理（list processing）1976年迈克尔·拉宾达纳·斯科特Michael O. RabinDana 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 ThompsonDennis M. RitchieUNIX操作系统和C语言1984年尼克劳斯·维尔特Niklaus Wirth程序设计语言设计、程序设计1985年理查德·卡普Richard M. Karp算法理论，尤其是NP-完全性理论1986年约翰·霍普克洛夫特罗伯特·塔扬John HopcroftRobert Tarjan算法和数据结构的设计与分析1987年约翰·科克John Cocke编译理论，大型系统的体系结构，及精简指令集（RISC）计算机的开发1988年伊凡·苏泽兰Ivan Sutherland计算机图形学1989年威廉·卡韩William Morton Kahan数值分析1990年费尔南多·考巴托Fernando J. CorbatóCTSS和Multics1991年罗宾·米尔纳Robin MilnerLCF，ML语言，CCS1992年巴特勒·兰普森Butler W. Lampson分布式，个人计算环境1993年尤里斯·哈特马尼斯理查德·斯特恩斯Juris HartmanisRichard E. Stearns计算复杂度理论1994年爱德华·费根鲍姆拉吉·瑞迪Edward FeigenbaumRaj 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 DahlKristen Nygaard面向对象编程2002年罗纳德·李维斯特阿迪·萨莫尔伦纳德·阿德曼Ronald L. RivestAdi ShamirLeonard M. Adleman公钥密码学（RSA加密算法）2003年艾伦·凯Alan Kay面向对象编程2004年文特·瑟夫罗伯特·卡恩Vinton G. CerfRobert E. KahnTCP/IP协议2005年彼得·诺尔Peter NaurAlgol 60语言2006年法兰西斯·艾伦Frances E. Allen优化编译器2007年[1]爱德蒙·克拉克艾伦·爱默生约瑟夫·斯发基斯Edmund M. ClarkeAllen EmersonJoseph Sifakis开发自动化方法检测计算机硬件和软件中的设计错误2008年芭芭拉·利斯科夫Barbara Liskov编程语言和系统设计的实践与理论2009年查尔斯·萨克尔Charles Thacker帮助设计、制造第一款现代PC2010年莱斯利·瓦伦特Leslie Valiant对众多计算理论所做的变革性的贡献2011年朱迪亚·珀尔Judea Pearl通过概率论和因果推理对人工智能领域作出的根本性贡献2012年 莎菲·戈德瓦塞尔 希尔维奥·米卡利Shafi GoldwasserSilvio Micali在密码科学领域里，于复杂理论的基础之上，做出变革性工作；并领先发展出新的具有数学可证明性的有效验证机制[2]2013年莱斯利·兰波特Leslie Lamport对于分散式及并形系统的理论与实践具有基础性贡献，尤其是诸如因果逻辑时序（causality and logical clocks）、安全性与存活度（safety and liveness）、复制状态机（replicated state machines）及循序一致性（sequential consistency）等理论概念的发明[3]。