附录3：图灵奖得主的主要成就.ppt

1 图灵奖得主的主要成就·1966 年获奖人:Alan (1922 -1990 ) 获奖工作:程序设计语言定义和设计,程序设计技术, 计算机科学教育方面的领导工作。获奖后,主要从事并开发程序设计语言和软件系统的动态行为等方面的研究。·1967 年获奖人:Maurice (1913- ) 获奖工作:存储式程序计算机早期开发中的领导工作, 发明了标识符、宏指令、程序微代码,与别人共同发明了子程序概念, 1949 年,他开发了第一台电子数据存储自动计算机(简称 EDSAC )。 2 ·1968 年获奖人: Richard (1915- ) 获奖工作:在 AT & T Bell 实验室,发明了用他的名字命名的错误测试/纠错码。他有句格言“计算的目的在于领会,不在数本身”。获奖后,撰写了概率论和组合数学方面的专著。·1969 年获奖人:Marvin (1927- ) 获奖工作:计算理论,程序设计语言,教育,开创人工智能。获奖后,主要从事计算机和机器人的数学理论以及人工智能领域的许多项目。·1970 年获奖人:James (1919 -1986 ) 获奖工作:数字分析,特别是矩阵计算和错误分析领域。他是一名最杰出的数字分析专家,他创建 ACE 机,发展了回朔错误分析。 3 ·1971 年获奖人: John McCarthy (1927- ) 获奖工作:人工智能,特别是发明了 LISP 语言。 1958 年,他发明了 LISP ,发展了分时概念。自 60年代初,他开始从事“程序满足相应规范”的证明工作。 80年代,他研究了非单调推理的封闭世界假设方法( Circumscription Method )。·1972 年获奖人: Edsger (1930- ) 获奖工作:设计了命令式程序设计语言。他的设计风格对程序设计的影响,尤其是他提出的“ G0TO 有害”更为著名。·1973 年获奖人: Charles (1924- ) 获奖工作:数据库技术,特别是,创造了作为 CODASYL (数据系统语言会议)数据库系统基础的 IDS (综合数据存储器)以及展示数据关系的有力方法。 4 ·1974 年获奖人: Donald Knuth (1938- ) 获奖工作:算法分析,程序设计语言设计,一系列经典教科书,如计算机程序设计艺术。研究兴趣领域包括排版算法 Tex 和字体设计算法 Metafont 。·1975 年获奖人: Allen Newell (1927- )、 Herbert (1916- ) 获奖工作:人工智能,人类认知心理学,发明了表处理。 Newell 的主要贡献:表处理、计算机描述语言以及基于人机交互模型的心理学。获奖后兴趣:问题求解和学习的体系结构的开发,识别的统一理论,产生式系统的硬件体系结构。 Simon 的主要贡献:说明如何使用启发式搜索来求解问题。获奖后兴趣:科学发现的心理学,学习的方法,研究人们是如何表示和理解那些最初以自然语言方式给出的事情。 5 ·1976 年获奖人: Michael (1931- )、 Dana (1932- ) 获奖工作:理论计算机科学教程,它为整个领域建立了清晰、优雅的标准。 Rabin 的主要贡献:计算复杂性理论,非确定计算概念。他强调算法理论的研究直接对计算机技术的应用。他所做的几个随机算法用于计算机安全,安全操作系统。他将概率论引入计算机。他关于树状自动机的工作解决了数理逻辑中许多未解决的判定问题。 Scott 获奖时是牛津大学数理逻辑教授,获奖后,是卡内基·梅隆大学计算机系数理逻辑专业的哲学教授。他在逻辑中的工作涉及模型论,自动机理论,集合论, 模态和直觉主义逻辑,可构造性数学,以及范畴论与逻辑的联系。获奖后的兴趣:逻辑对程序设计语言的语义的应用和计算语言学。 6 ·1977 年获奖人: (1924- ) 获奖工作:领导 Fortran 开发,创造了语法描述语言, Backus-Naur 范式( BNF )。获奖后兴趣:功能级程序设计数据模型,代数程序变换、优化。与别人合作, 开发了新语言 FL ·1978 年获奖人: (1936- ) 获奖工作:帮助发明了语法分析理论,程序设计语言的语义,自动程序验证,自动程序综合,算法分析。获奖后兴趣:语法错误矫正和算法的分析。·1979 年获奖人:h (1920- ) 获奖工作:表现在程序设计语言 APL (分析程序设计语言)中的程序设计语言和数学概念方面的先驱成就。 7 ·198