图灵奖得主的主要成就汇编.pptVIP

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