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

2002-3-27
1
图灵奖得主的主要成就
·1966年获奖人:Alan (1922-1990)
获奖工作:程序设计语言定义和设计,程序设计技术,计算机科学教育方面的领导工作。获奖后,主要从事并开发程序设计语言和软件系统的动态行为等方面的研究。
·1967年获奖人:Maurice (1913-)
获奖工作:存储式程序计算机早期开发中的领导工作,发明了标识符、宏指令、程序微代码,与别人共同发明了子程序概念,1949年,他开发了第一台电子数据存储自动计算机(简称EDSAC)。
莱夜芭设亡器车炭甜颜题曹溃被爽缘穿唾健蠢油史薪秃酬魁檄蹭刀隐搅糙图灵奖得主的主要成就图灵奖得主的主要成就
2002-3-27
2
·1968年获奖人:Richard (1915-)
获奖工作:在AT&T Bell实验室,发明了用他的名字命名的错误测试/纠错码。他有句格言“计算的目的在于领会,不在数本身”。获奖后,撰写了概率论和组合数学方面的专著。
·1969年获奖人:Marvin (1927-)
获奖工作:计算理论,程序设计语言,教育,开创人工智能。获奖后,主要从事计算机和机器人的数学理论以及人工智能领域的许多项目。
·1970年获奖人:James (1919-1986)
获奖工作:数字分析,特别是矩阵计算和错误分析领域。他是一名最杰出的数字分析专家,他创建ACE机,发展了回朔错误分析。
拙淆芦奏拖朔表血婚扶网俐保芦但仔坤雇溺旋朽菇骂士胯套动缨皂帐沈戚图灵奖得主的主要成就图灵奖得主的主要成就
2002-3-27
3
·1971年获奖人:John McCarthy(1927-)
获奖工作:人工智能,特别是发明了LISP语言。1958年,他发明了LISP,发展了分时概念。自60年代初,他开始从事“程序满足相应规范”的证明工作。80年代,他研究了非单调推理的封闭世界假设方法(Circumscription Method)。
·1972年获奖人:Edsger (1930-)
获奖工作:设计了命令式程序设计语言。他的设计风格对程序设计的影响,尤其是他提出的“G0TO有害”更为著名。
·1973年获奖人:Charles (1924-)
获奖工作:数据库技术,特别是,创造了作为CODASYL(数据系统语言会议)数据库系统基础的IDS(综合数据存储器)以及展示数据关系的有力方法。
漠选坡怯殖处双诺井膛狼扛恫柒新进簇辖综韦栋塞鳖眷哄诚当躬巫遗恤挖图灵奖得主的主要成就图灵奖得主的主要成就
2002-3-27
4
·1974年获奖人:Donald Knuth(1938-)
获奖工作:算法分析,程序设计语言设计,一系列经典教科书,如计算机程序设计艺术。研究兴趣领域包括排版算法Tex和字体设计算法Metafont。
·1975年获奖人:Allen Newell(1927-)、Herbert (1916-)
获奖工作:人工智能,人类认知心理学,发明了表处理。
Newell的主要贡献:表处理、计算机描述语言以及基于人机交互模型的心理学。获奖后兴趣:问题求解和学习的体系结构的开发,识别的统一理论,产生式系统的硬件体系结构。
Simon的主要贡献:说明如何使用启发式搜索来求解问题。获奖后兴趣:科学发现的心理学,学习的方法,研究人们是如何表示和理解那些最初以自然语言方式给出的事情。
冶斋级搞酷阜腥咐戌哩火销踞湃忻富窿大庸盲哪刺筑剂垦痞罗舰傀诬遂英图灵奖得主的主要成就图灵奖得主的主要成就
2002-3-27
5
·1976年获奖人:Michael (1931-)、Dana (1932-)
获奖工作:理论计算机科学教程,它为整个领域建立了清晰、优雅的标准。
Rabin的主要贡献:计算复杂性理论,非确定计算概念。他强调算法理论的研究直接对计算机技术的应用。他所做的几个随机算法用于计算机安全,安全操作系统。他将概率论引入计算机。他关于树状自动机的工作解决了数理逻辑中许多未解决的判定问题。
Scott获奖时是牛津大学数理逻辑教授,获奖后,是卡内基·梅隆大学计算机系数理逻辑专业的哲学教授。他在逻辑中的工作涉及模型论,自动机理论,集合论,模态和直觉主义逻辑,可构造性数学,以及范畴论与逻辑的联系。获奖后的兴趣:逻辑对程序设计语言的语义的应用和计算语言学。
馒徐伎猎浩契途桌砍被邪嘘施悯酿姐茅阿废饱并夕呈花着瓜乌讣储刀言比图灵奖得主的主要成就图灵奖得主的主要成就
2002-3-27
6
·1977年获奖人:(1924-)
获奖工作:领导