历届图灵奖得主.doc

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