历届图灵奖得主.docVIP

年份 姓名 贡献领域 1966年 \o 艾伦·佩利 艾伦·佩利 高级 \o 程序设计 程序设计技巧， \o 编译器 编译器构造 1967年 \o 莫里斯·威尔克斯 莫里斯·威尔克斯 存储过程式计算机 \o EDSAC EDSAC， \o EDSAC 2 EDSAC 2，程序 \o 库 库 1968年 \o 理查德·卫斯里·汉明 理查德·卫斯里·汉明 数值方法，自动编码系统，错误检测和纠错码 1969年 \o 马文·闵斯基 马文·闵斯基 \o 人工智能 人工智能 1970年 \o 詹姆斯·维尔金森 詹姆斯·维尔金森 数值分析，线性代数，倒退错误分析 1971年 \o 约翰·麦卡锡 约翰·麦卡锡 人工智能 1972年 \o 艾兹格·迪科斯彻 艾兹格·迪科斯彻 \o 程序设计语言 程序设计语言的科学与艺术 1973年 \o 查理士·巴赫曼 查理士·巴赫曼 数据库技术 1974年 \o 高德纳 高德纳 算法分析、程序设计语言的设计、程序设计 1975年 \o 艾伦·纽厄尔 艾伦·纽厄尔 人工智能，人类认知心理学和列表处理（list processing） \o 赫伯特·西蒙 赫伯特·西蒙 1976年 \o 迈克尔·拉宾 迈克尔·拉宾 非确定性自动机 \o 达纳·斯科特 达纳·斯科特 1977年 \o 约翰·巴克斯 约翰·巴克斯 高级编程系统，程序设计语言规范的形式化定义 1978年 \o 罗伯特·弗洛伊德 罗伯特·弗洛伊德 设计高效可靠软件的方法学 1979年 \o 肯尼斯·艾佛森 肯尼斯·艾佛森 程序设计语言和数学符号，互动系统的设计，运用APL进行教学，程序设计语言的理论与实践 1980年 \o 东尼·霍尔 东尼·霍尔 程序设计语言的定义与设计 1981年 \o 埃德加·科德 埃德加·科德 数据库系统，尤其是 \o 关系型数据库 关系型数据库 1982年 \o 史提芬·古克 史提芬·古克 \o 计算复杂度 计算复杂度 1983年 \o 肯·汤普逊 肯·汤普逊 \o Unix UNIX操作系统和 \o C语言 C语言 \o 丹尼斯·里奇 丹尼斯·里奇 1984年 \o 尼克劳斯·维尔特 尼克劳斯·维尔特 程序设计语言设计、程序设计 1985年 \o 理查德·卡普 理查德·卡普 算法理论，尤其是 \o NP-完全 NP-完全性理论 1986年 \o 约翰·霍普克洛夫特 约翰·霍普克洛夫特 算法和数据结构的设计与分析 \o 罗伯特·塔扬 罗伯特·塔扬 1987年 \o 约翰·科克 约翰·科克 编译理论，大型系统的体系结构，及精简指令集（ \o 精简指令集 RISC）计算机的开发 1988年 \o 伊凡·苏泽兰 伊凡·苏泽兰 \o 计算机图形学 计算机图形学 1989年 \o 威廉·卡韩 威廉·卡韩 \o 数值分析 数值分析 1990年 \o 费尔南多·考巴托 费尔南多·考巴托 \o CTSS CTSS和 \o Multics Multics 1991年 \o 罗宾·米尔纳 罗宾·米尔纳 \o LCF定理证明（页面不存在） LCF， \o ML语言 ML语言， \o 通信系统的计算（页面不存在） CCS 1992年 \o 巴特勒·兰普森 巴特勒·兰普森 分布式，个人计算环境 1993年 \o 尤里斯·哈特马尼斯 尤里斯·哈特马尼斯 计算复杂度理论 \o 理查德·斯特恩斯 理查德·斯特恩斯 1994年 \o 爱德华·费根鲍姆 爱德华·费根鲍姆 大规模人工智能系统 \o 拉吉·瑞迪 拉吉·瑞迪 1995年 \o 曼纽尔·布卢姆 曼纽尔·布卢姆 计算复杂度理论，及其在 \o 密码学 密码学和程序校验上的应用 1996年 \o 阿米尔·伯努利 阿米尔·伯努利 \o 时序逻辑 时序逻辑，程序与系统 \o 验证 验证 1997年 \o 道格拉斯·恩格尔巴特 道格拉斯·恩格尔巴特 互动计算 1998年 \o 詹姆斯·尼古拉·格雷 詹姆斯·尼古拉·格雷 数据库与事务处理 1999年 \o 弗雷德里克·布鲁克斯 弗雷德里克·布鲁克斯 \o 计算机体系结构 计算机体系结构， \o 操作系统 操作系统， \o 软件工程 软件工程 2000年 \o 姚期智 姚期智 [4] 计算理论，包括 \o 伪随机数 伪随机数生成，密码学与通信复杂度 2001年 \o 奥利-约翰·达尔 奥利-约翰·