图灵奖获得者.doc

图灵奖获得者年份中文译名姓名贡献领域1966年艾伦·,编译器构造1967年莫里斯·,EDSAC2,程序库1968年理查德·卫斯里·汉明RichardHamming数值方法,自动编码系统,错误检测和纠错码1969年马文·闵斯基MarvinMinsky人工智能1970年詹姆斯·,线性代数,倒退错误分析1971年约翰·arthy人工智能1972年艾兹格·迪科斯彻EdsgerDijkstra程序设计语言的科学与艺术1973年查理士·、程序设计语言的设计、程序设计1975年艾伦·纽厄尔赫伯特·,人类认知心理学和列表处理(listprocessing)1976年迈克尔·拉宾达纳··巴克斯JohnBackus高级编程系统,程序设计语言规范的形式化定义1978年罗伯特··,互动系统的设计,运用APL进行教学,程序设计语言的理论与实践1980年东尼··,尤其是关系型数据库1982年史提芬··汤普逊丹尼斯··维尔特NiklausWirth程序设计语言设计、程序设计1985年理查德·,尤其是NP-完全性理论1986年约翰·霍普克洛夫特罗伯特·塔扬JohnHopcroftRobertTarjan算法和数据结构的设计与分析1987年约翰·科克JohnCocke编译理论,大型系统的体系结构,及精简指令集(RISC)计算机的开发1988年伊凡·苏泽兰IvanSutherland计算机图形学1989年威廉·卡韩WilliamMortonKahan数值分析1990年费尔南多·óCTSS和Multics1991年罗宾·米尔纳RobinMilnerLCF,S1992年巴特勒·,个人计算环境1993年尤里斯·哈特马尼斯理查德··费根鲍姆拉吉·瑞迪EdwardFeigenbaumRajReddy大规模人工智能系统1995年曼纽尔·布卢姆ManuelBlum计算复杂度理论,及其在密码学和程序校验上的应用1996年阿米尔·伯努利AmirPnueli时序逻辑,程序与系统验证1997年道格拉斯·恩格尔巴特DouglasEngelbart互动计算1998年詹姆斯·尼古拉·格雷JamesGray数据库与事务处理1999年弗雷德里克