历届图灵奖得主名单

◎ 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 W.Milner

可计算函数逻辑（LCF）、ML和并行理论（CCS）

◎ 1992 Butler 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

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