图灵奖获得者.doc

图灵奖获得者
年份
中文译名
姓名
贡献领域
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 Newell
Herbert A. Simon
人工智能,人类认知心理学和列表处理(list processing)
1976年
迈克尔·拉宾
达纳·斯科特
Michael O. Rabin
Dana S. Scott
非确定性自动机
1977年
约翰·巴克斯
John Backus
高级编程系统,程序设计语言规范的形式化定义
1978年
罗伯特·弗洛伊德
Robert W. Floyd
设计高效可靠软件的方法学
1979年
肯尼斯·艾佛森
h E. Iverson
程序设计语言和数学符号,互动系统的设计,运用APL进行教学,程序设计语言的理论与实践
1980年
东尼·霍尔
C. Antony R. Hoare
程序设计语言的定义与设计
1981年
埃德加·科德
Edgar F. Codd
数据库系统,尤其是关系型数据库
1982年
史提芬·古克
Stephen A. Cook
计算复杂度
1983年
肯·汤普逊
丹尼斯·里奇
Ken Thompson
Dennis M. Ritchie
UNIX操作系统和C语言
1984年
尼克劳斯·维尔特
Niklaus Wirth
程序设计语言设计、程序设计
1985年
理查德·卡普
Richard M. Karp
算法理论,尤其是NP-完全性理论
1986年
约翰·霍普克洛夫特
罗伯特·塔扬
John Hopcroft
Robert Tarjan
算法和数据结构的设计与分析
1987年
约翰·科克
John Cocke
编译理论,大型系统的体系结构,及精简指令集(RISC)计算机的开发
1988年
伊凡·苏泽兰
Ivan Sutherland
计算机图形学
1989年
威廉·卡韩
William Morton Kahan
数值分析
1990年
费尔南多·考巴托
Fernando J. Corbató
CTSS和Multics
1991年
罗宾·米尔纳
Robin Milner
LCF,S
1992年