图灵奖得主主要成就

《图灵奖得主主要成就》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

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

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

3、分析。2002-3-273·1971年获奖人：JohnMcCarthy（1927-）获奖工作：人工智能，特别是发明了LISP语言。1958年，他发明了LISP，发展了分时概念。自60年代初，他开始从事“程序满足相应规范”的证明工作。80年代，他研究了非单调推理的封闭世界假设方法（CircumscriptionMethod）。·1972年获奖人：EdsgerW.Dijkstra（1930-）获奖工作：设计了命令式程序设计语言。他的设计风格对程序设计的影响，尤其是他提出的“G0TO有害”更为著名。·1973年获奖人：CharlesW.Bachman（19

4、24-）获奖工作：数据库技术，特别是，创造了作为CODASYL（数据系统语言会议）数据库系统基础的IDS（综合数据存储器）以及展示数据关系的有力方法。2002-3-274·1974年获奖人：DonaldKnuth（1938-）获奖工作：算法分析，程序设计语言设计，一系列经典教科书，如计算机程序设计艺术。研究兴趣领域包括排版算法Tex和字体设计算法Metafont。·1975年获奖人：AllenNewell（1927-）、HerbertA.Simon（1916-）获奖工作：人工智能，人类认知心理学，发明了表处理。Newell的主要贡献：表处理、计算机描

5、述语言以及基于人机交互模型的心理学。获奖后兴趣：问题求解和学习的体系结构的开发，识别的统一理论，产生式系统的硬件体系结构。Simon的主要贡献：说明如何使用启发式搜索来求解问题。获奖后兴趣：科学发现的心理学，学习的方法，研究人们是如何表示和理解那些最初以自然语言方式给出的事情。2002-3-275·1976年获奖人：MichaelO.Rabin（1931-）、DanaS.Scott（1932-）获奖工作：理论计算机科学教程，它为整个领域建立了清晰、优雅的标准。Rabin的主要贡献：计算复杂性理论，非确定计算概念。他强调算法理论的研究直接对计算机技术的

6、应用。他所做的几个随机算法用于计算机安全，安全操作系统。他将概率论引入计算机。他关于树状自动机的工作解决了数理逻辑中许多未解决的判定问题。Scott获奖时是牛津大学数理逻辑教授，获奖后，是卡内基·梅隆大学计算机系数理逻辑专业的哲学教授。他在逻辑中的工作涉及模型论，自动机理论，集合论，模态和直觉主义逻辑，可构造性数学，以及范畴论与逻辑的联系。获奖后的兴趣：逻辑对程序设计语言的语义的应用和计算语言学。2002-3-276·1977年获奖人：J.W.Backus（1924-）获奖工作：领导Fortran开发，创造了语法描述语言，Backus-Naur范式（

7、BNF）。获奖后兴趣：功能级程序设计数据模型，代数程序变换、优化。与别人合作，开发了新语言FL·1978年获奖人：R.W.Floyd（1936-）获奖工作：帮助发明了语法分析理论，程序设计语言的语义，自动程序验证，自动程序综合，算法分析。获奖后兴趣：语法错误矫正和算法的分析。·1979年获奖人:KennethE.Iverson（1920-）获奖工作：表现在程序设计语言APL（分析程序设计语言）中的程序设计语言和数学概念方面的先驱成就。2002-3-277·1980年获奖人:C.A.R.Hoare（1934-）获奖工作：定义和设计程序设计语言基础贡献，

8、特别是，使用公理语义给出程序设计语言的形式语义，独创性的算法开发，先进的数据结构技术，以及对操作系统的贡献。