历届图灵奖得主名单

    ◆ 1966 A. J. Perlis 高级编程技术和编译器架构

    ◆ 1967 Maurice V. Wilkes 设计出第一台具有内置存储程序的计算机EDSAC

    ◆ 1968 Richard W. Hamming 数值方法、自动编码系统、错误检测及错误校验码

    ◆ 1969 Marvin Minsky 创造、推进和提升人工智能

    ◆ 1970 J. H. Wilkinson 利用数值分析方法来促进高速数字计算机的应用

    ◆ 1971 John McCarthy 人工智能

    ◆ 1972 Edsger W. Dijkstra 编程语言

    ◆ 1973 Charles W. Bachman 数据库

    ◆ 1974 Donald E. Knuth 算法分析和程序设计语言，“计算机程序设计艺术”丛书

    ◆ 1975 Allen Newell和Herbert A. Simon 人工智能、人类认知心理学和表处理

    ◆ 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 奠定了NP完全性理论的基础

    ◆ 1983 Dennis M. Ritchie和Kenneth L. Thompson 一般操作系统理论，对UNIX操作系统的推广

    ◆ 1984 Niklaus E. Wirth 开发了EULER、ALGOL-W、MODULA和PASCAL等一系列崭新的计算机语言

    ◆ 1985 Richard M. Karp 算法理论

    ◆ 1986 John E. Hopcroft和Robert E. Tarjan 在算法及数据结构的设计和分析中取得了决定性成果

    ◆ 1987 John Cocke 编译器的理论和设计，大系统体系结构，精简指令集计算机的开发

    ◆ 1988 Ivan E. Sutherland 计算机图形学

    ◆ 1989 William V. Kahan 数值分析

    ◆ 1990 Fernando J. Corbato 组织通用、大规模、分时和资源共享的兼容分时系统和Multics的开发

    ◆ 1991 Robin Milner 可计算函数逻辑（LCF)、ML和并行理论（CCS) ◆ 1992 Butler W. Lampson 分布式个人计算机系统

    ◆ 1993 Jurlis Hartmanis和Richard E. Stearns 奠定了计算复杂性理论的基础

    ◆ 1994 Raj Reddy和Edward Feigenbaum 对大型人工智能系统的开拓性研究

    ◆ 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. Adelman 公共密钥算法（RSA)

    ◆ 2003 Alan Kay

    发明第一个完全面向对象的动态计算机程序设计语言Smalltalk ◆ 2004 Vinton G. Cerf和Robert E. Kahn 在互联网方面的开创性工作

    ◆ 2005 Peter Naur Algol 60语言

    ◆ 2006 Frances E. Allen 编译器优化理论和实践（她是图灵奖第一位女性得主) ◆ 2007 Edmund M. Clarke、Allen Emerson和Joseph Sifakis 将模型校验推广成软硬件工业中广泛采用的高效校验技术

    ◆ 2008 Barbara Liskov 编程语言和系统设计的实践与理论基础

    ◆ 2009 Charles P. Thacker 第一台现代个人计算机Alto之父

    ◆ 2010 Leslie L. Valiant 人工智能、自然语言处理和手写识别等大量革新技术

    ◆ 2011 Judea Pearl 通过或然性积分和随机推理对人工智能做出贡献