图灵奖得主的主要成就.ppt

1、2002-3-27,1,图灵奖得主的主要成就,1966年获奖人:Alan J.Perlis（19221990） 获奖工作：程序设计语言定义和设计，程序设计技术，计算机科学教育方面的领导工作。获奖后，主要从事并开发程序设计语言和软件系统的动态行为等方面的研究。 1967年获奖人:Maurice V.Wilkes（1913-） 获奖工作：存储式程序计算机早期开发中的领导工作，发明了标识符、宏指令、程序微代码，与别人共同发明了子程序概念，1949年，他开发了第一台电子数据存储自动计算机（简称EDSAC）。,2002-3-27,2,1968年获奖人：Richard W.Hamming（1915-） 获

2、奖工作：在ATT Bell实验室，发明了用他的名字命名的错误测试/纠错码。他有句格言“计算的目的在于领会，不在数本身”。获奖后，撰写了概率论和组合数学方面的专著。 1969年获奖人:Marvin M.Minsky（1927-） 获奖工作：计算理论，程序设计语言，教育，开创人工智能。获奖后，主要从事计算机和机器人的数学理论以及人工智能领域的许多项目。 1970年获奖人:James H.Wilkinson（19191986） 获奖工作：数字分析，特别是矩阵计算和错误分析领域。他是一名最杰出的数字分析专家，他创建ACE机，发展了回朔错误分析。,2002-3-27,3,1971年获奖人：John Mc

3、Carthy（1927-） 获奖工作：人工智能，特别是发明了LISP语言。1958年，他发明了LISP，发展了分时概念。自60年代初，他开始从事“程序满足相应规范”的证明工作。80年代，他研究了非单调推理的封闭世界假设方法（Circumscription Method）。 1972年获奖人：Edsger W.Dijkstra（1930-） 获奖工作：设计了命令式程序设计语言。他的设计风格对程序设计的影响，尤其是他提出的“G0TO有害”更为著名。 1973年获奖人：Charles W.Bachman（1924-） 获奖工作：数据库技术，特别是，创造了作为CODASYL（数据系统语言会议）数据库系

4、统基础的IDS（综合数据存储器）以及展示数据关系的有力方法。,2002-3-27,4,1974年获奖人：Donald Knuth（1938-） 获奖工作：算法分析，程序设计语言设计，一系列经典教科书，如计算机程序设计艺术。研究兴趣领域包括排版算法Tex和字体设计算法Metafont。 1975年获奖人：Allen Newell（1927-）、Herbert A.Simon（1916-） 获奖工作：人工智能，人类认知心理学，发明了表处理。 Newell的主要贡献：表处理、计算机描述语言以及基于人机交互模型的心理学。获奖后兴趣：问题求解和学习的体系结构的开发，识别的统一理论，产生式系统的硬件体系结

5、构。 Simon的主要贡献：说明如何使用启发式搜索来求解问题。获奖后兴趣：科学发现的心理学，学习的方法，研究人们是如何表示和理解那些最初以自然语言方式给出的事情。,2002-3-27,5,1976年获奖人：Michael O.Rabin（1931-）、Dana S.Scott（1932-） 获奖工作：理论计算机科学教程，它为整个领域建立了清晰、优雅的标准。 Rabin的主要贡献：计算复杂性理论，非确定计算概念。他强调算法理论的研究直接对计算机技术的应用。他所做的几个随机算法用于计算机安全，安全操作系统。他将概率论引入计算机。他关于树状自动机的工作解决了数理逻辑中许多未解决的判定问题。 Scot

6、t获奖时是牛津大学数理逻辑教授，获奖后，是卡内基梅隆大学计算机系数理逻辑专业的哲学教授。他在逻辑中的工作涉及模型论，自动机理论，集合论，模态和直觉主义逻辑，可构造性数学，以及范畴论与逻辑的联系。获奖后的兴趣：逻辑对程序设计语言的语义的应用和计算语言学。,2002-3-27,6,1977年获奖人：J.W.Backus（1924-） 获奖工作：领导Fortran开发，创造了语法描述语言，Backus-Naur范式（BNF）。获奖后兴趣：功能级程序设计数据模型，代数程序变换、优化。与别人合作，开发了新语言FL 1978年获奖人：R.W.Floyd（1936-） 获奖工作：帮助发明了语法分析理论，程序

7、设计语言的语义，自动程序验证，自动程序综合，算法分析。获奖后兴趣：语法错误矫正和算法的分析。 1979年获奖人:Kenneth E.Iverson（1920-） 获奖工作：表现在程序设计语言APL（分析程序设计语言）中的程序设计语言和数学概念方面的先驱成就。,2002-3-27,7,1980年获奖人:C.A.R.Hoare（1934-） 获奖工作：定义和设计程序设计语言基础贡献，特别是，使用公理语义给出程序设计语言的形式语义，独创性的算法开发，先进的数据结构技术，以及对操作系统的贡献。获奖后兴趣：技术转化、数据库、计算机科学的数学方法。 1981年获奖人：Edger F.Codd（1923-）

8、 获奖工作：数据库管理系统的理论和实现，创立了关系模型。 1982年获奖人：Stephen A.Cook（1939-） 获奖工作：计算复杂性理论以及可行构造证明理论的研究，为NP-完全性理论建立了基础。,2002-3-27,8,1983年获奖人：Dennis M.Ritchie（1941-）、Ken L.Thompson（1943-） 获奖工作：开发、实现了Unix操作系统、C语言。他们两人是Unix操作系统和C语言的创始者和设计师。 1984年获奖人：Nliklaus E.Wirth（1934-） 获奖工作：设计制造了个人计算机，开发了一系列有创新的计算机语方：Euler、Algol-W、M

9、odula-2、Pascal，特别是Pascal语言，为Modula-2设计了单遍（single-pass）编译器。获奖后兴趣：操作系统环境、工作站设计、处理器结构分析、程序设计基础。 1985年获奖人:Richard M.Karp（1935-） 获奖工作：复杂性理论，推广Stephen Cook的早期工作。获奖后兴趣：组合算法和NP-完全性研究，撰写有关组合算法的概率分析著作。,2002-3-27,9,1986年获奖人：John Hopcoft（1939-）、Robert E.Tarjan（1938-） 获奖工作：算法和数据结构的设计、分析方面的基础成就。 1987年获奖人：John Coc

10、ke（l925-） 获奖工作：编译器的设计和理论、高性能计算机的体系结构。 1988年获奖人：Ivan E.Sutherland（1938-） 获奖工作：交互式计算机图形学。 1989年获奖人：Willia M.Kahan（1933-） 获奖工作：在他的带动和领导下，制定了独立于二进制和基数的浮点计算的标准。这种标准目前仍被采用。,2002-3-27,10,1990年获奖人：Fernando J.Corbato（1926-） 获奖工作：领导CTSS（兼容分时系统）和Multics（多路复用信息和计算机服务）的开发，系统阐述了有关概念。 1991年获奖人：A.J.R.G.Milner（1934-

11、） 获奖工作：包括如下三个开发：LCF（可计算函数逻辑），对Scott逻辑的机械化；ML，包含多形推理型及安全型例外处理机制的第一语言；CCS（通信系统演算），一种并发综合理论。 1992年获奖人：Butler W.Lampson（1943-） 获奖工作：分布式个人计算环境的开发和实现技术，包括工作站、网络、操作系统，程序设计系统，显示、安全和文档出版。,2002-3-27,11,1993年获奖人:Juris Hartmanis、Richard E.Stearns Juris Hartmanis:Cornell大学教授，目前研究领域为：计算理论、计算复杂件和结构复杂性。 Richard E.S

12、tearns曾是数学家。主要工作:（数学）对策讨论竞争的本质与计算机科学讨论计算的本质的内在联系；对计算中的难度概念作了透彻分析，把确定化时间与难度证据之间的联系工作作了重要概括。,2002-3-27,12,1994年获奖人:Edward Albert Feigenbaum（1936-）、Raj Reddy Feigenbaum的获奖工作：通过实验和研究，证明了实现智能行为的主要手段在于知识，立多数实际情况下是特定领域的知识；在知识工程和专家系统方面的研究取得历史性突破；开创性地设计和构造了大规模人工智能系统，证明了其实际重要性和潜在的商业影响。日前，他是美国空军首席科学家，斯坦福大学教授。

13、Reddy的获奖工作：Navlab，美国国防部高级研究计划署的AVL（自动原野车辆）项目的一部分：LISTEN，用来解决扫盲问题，核心是一个语音识别系统；Dante，火山探测机器人项目，要求“error-free”，绝对可靠。获奖后主要研究：言语识别、机器人、人机交互、多媒体、合作技术、学习技术。目前，他担任卡内基-梅隆大学计算机学院院长。,2002-3-27,13,1995年获奖人：Manuel Blum（1938-） 获奖工作：计算复杂世理论，并应用于密码学和程序检查，同时，他在自动控制理论、感应推论方面享有很高声望。目前，他担任加州大学伯克莱分校电子工程与计算科学系教授。 1996年获奖人：Amir Pnueli 获奖工作：把时态逻辑引入计算机科学，把它作为开发反应式系统和并发式系统时进行规格说明和验证的工具，取得了极大的成功，这些工作被认为是软件工程中的一场革命。目前，他担任以色列魏茨曼学院应用数学系教授。,2002-3-27,14,1997年获奖人：Dougl