2002-3-27 12
·1995年获奖人：Manuel Blum（1938-） 获奖工作：计算复杂世理论，并应用于密码学 和程序检查，同时，他在自动控制理论、感应推论 方面享有很高声望。目前，他担任加州大学伯克莱 分校电子工程与计算科学系教授。 ·1996年获奖人：Amir Pnueli 获奖工作：把时态逻辑引入计算机科学，把它 作为开发反应式系统和并发式系统时进行规格说明 和验证的工具，取得了极大的成功，这些工作被认 为是软件工程中的一场革命。目前，他担任以色列 魏茨曼学院应用数学系教授。
·1970年获奖人:James H.Wilkinson（1919－1986） 获奖工作：数字分析，特别是矩阵计算和错误分 析领域。他是一名最杰出的数字分析专家，他创建 ACE机，发展了回朔错误分析。
2002-3-27 2
·1971年获奖人：John McCarthy（1927-） 获奖工作：人工智能，特别是发明了LISP语言。1958 年，他发明了 LISP，发展了分时概念。自60 年代初，他 开始从事“程序满足相应规范”的证明工作。 80 年代， 他研究了非单调推理的封闭世界假设方法 （Circumscription Method）。 ·1972年获奖人：Edsger W.Dijkstra（1930-） 获奖工作：设计了命令式程序设计语言。他的设计 风格对程序设计的影响，尤其是他提出的“G0TO有害” 更为著名。 ·1973年获奖人：Charles W.Bachman（1924-） 获奖工作：数据库技术，特别是，创造了作为 CODASYL （数据系统语言会议）数据库系统基础的 IDS （综合数据存储器）以及展示数据h E.Iverson（1920-） 获奖工作：表现在程序设计语言APL（分析程序设 计语言）中的程序设计语言和数学概念方面的先驱成 就。
2002-3-27 6
·1980年获奖人:C.A.R.Hoare（1934-） 获奖工作：定义和设计程序设计语言基础贡献， 特别是，使用公理语义给出程序设计语言的形式语义， 独创性的算法开发，先进的数据结构技术，以及对操 作系统的贡献。获奖后兴趣：技术转化、数据库、计 算机科学的数学方法。
2002-3-27
11
·1994 年获奖人 :Edward Albert Feigenbaum （ 1936- ）、 Raj Reddy Feigenbaum 的获奖工作：通过实验和研究，证明 了实现智能行为的主要手段在于知识，立多数实际情况 下是特定领域的知识；在知识工程和专家系统方面的研 究取得历史性突破；开创性地设计和构造了大规模人工 智能系统，证明了其实际重要性和潜在的商业影响。日 前，他是美国空军首席科学家，斯坦福大学教授。 Reddy 的获奖工作：① Navlab ，美国国防部高级研 究计划署的 AVL （自动原野车辆）项目的一部分：② LISTEN，用来解决扫盲问题，核心是一个语音识别系统； ③Dante，火山探测机器人项目，要求“error-free”， 绝对可靠。获奖后主要研究：言语识别、机器人、人机 交互、多媒体、合作技术、学习技术。目前，他担任卡 内基-梅隆大学计算机学院院长。
2002-3-27
13
·1997年获奖人：Douglas Engelbart 获奖工作：发明鼠标器，为交互式计算奠定了基础， 在屏幕多窗口、互连超媒体、远程会议、在线出版 等领域有一系列发明和创意 。 1982 年，他提出了 “知识工人”的概念。 ·1998年获奖人：James Gray（1944-） 获奖工作：在事务处理技术上的创造性思维和开拓 性工作，解决了数据库中数据的完整性、安全性、 并行性以及－一旦出现故障后，数据库如何实现从 故障中恢复等技术问题，使DBMS成熟，并顺利进入 市场。
2002-3-27 5
·1977年获奖人：J.W.Backus（1924-） 获奖工作：领导Fortran开发，创造了语法描述语 言，Backus-Naur范式（BNF）。获奖后兴趣：功能级 程序设计数据模型，代数程序变换、优化。与别人合 作，开发了新语言FL
·1978年获奖人：R.W.Floyd（1936-） 获奖工作：帮助发明了语法分析理论，程序设计 语言的语义，自动程序验证，自动程序综合，算法分 析。获奖后兴趣：语法错误矫正和算法的分析。
2002-3-27 4
·1976 年获奖人： Michael O.Rabin （ 1931- ）、 Dana S.Scott（1932-） 获奖工作：理论计算机科学教程，它为整个领域建 立了清晰、优雅的标准。 Rabin的主要贡献：计算复杂性理论，非确定计算 概念。他强调算法理论的研究直接对计算机技术的应 用。他所做的几个随机算法用于计算机安全，安全操 作系统。他将概率论引入计算机。他关于树状自动机 的工作解决了数理逻辑中许多未解决的判定问题。 Scott获奖时是牛津大学数理逻辑教授，获奖后， 是卡内基· 梅隆大学计算机系数理逻辑专业的哲学教授。 他在逻辑中的工作涉及模型论，自动机理论，集合论， 模态和直觉主义逻辑，可构造性数学，以及范畴论与 逻辑的联系。获奖后的兴趣：逻辑对程序设计语言的 语义的应用和计算语言学。
2002-3-27 9
·1990年获奖人：Fernando J.Corbato（1926-） 获奖工作：领导CTSS（兼容分时系统）和Multics （多路复用信息和计算机服务）的开发，系统阐述了 有关概念。 ·1991年获奖人：ner（1934-） 获奖工作：包括如下三个开发：①LCF（可计算函 数逻辑），对 Scott 逻辑的机械化；② ML，包含多形 推理型及安全型例外处理机制的第一语言； ③ CCS （通信系统演算），一种并发综合理论。 ·1992年获奖人：Butler mpson（1943-） 获奖工作：分布式个人计算环境的开发和实现技 术，包括工作站、网络、操作系统，程序设计系统， 显示、安全和文档出版。
2002-3-27 3
·1974年获奖人：Donald Knuth（1938-） 获奖工作：算法分析，程序设计语言设计，一系列经典 教科书，如计算机程序设计艺术。研究兴趣领域包括排版算 法Tex和字体设计算法Metafont。 ·1975 年 获 奖 人 ： Allen Newell （ 1927- ） 、 Herbert A.Simon（1916-） 获奖工作：人工智能，人类认知心理学，发明了表处理。 Newell的主要贡献：表处理、计算机描述语言以及基于 人机交互模型的心理学。获奖后兴趣：问题求解和学习的体 系结构的开发，识别的统一理论，产生式系统的硬件体系结 构。 Simon的主要贡献：说明如何使用启发式搜索来求解问 题。获奖后兴趣：科学发现的心理学，学习的方法，研究人 们是如何表示和理解那些最初以自然语言方式给出的事情。
2002-3-27 10
·1993 年 获 奖 人 :Juris Hartmanis 、 Richard E.Stearns Juris Hartmanis:Cornell 大学教授，目前研究 领域为：计算理论、计算复杂件和结构复杂性。 Richard E.Stearns曾是数学家。主要工作:（数 学）对策讨论竞争的本质与计算机科学讨论计算的本 质的内在联系；对计算中的难度概念作了透彻分析， 把确定化时间与难度证据之间的联系工作作了重要概 括。
·1981年获奖人：Edger F.Codd（1923-） 获奖工作：数据库管理系统的理论和实现，创立 了关系模型。
·1982年获奖人：Stephen A.Cook（1939-） 获奖工作：计算复杂性理论以及可行构造证明理 论的研究，为NP-完全性理论建立了基础。
2002-3-27 7
·1983 年获奖人： Dennis M.Ritchie （ 1941- ）、 Ken L.Thompson（1943-） 获奖工作：开发、实现了Unix操作系统、C语言。 他们两人是Unix操作系统和C语言的创始者和设计师。 ·1984年获奖人：Nliklaus E.Wirth（1934-） 获奖工作：设计制造了个人计算机，开发了一系列 有创新的计算机语方： Euler 、 Algol-W 、 Modula-2 、 Pascal ，特别是 Pascal 语言，为 Modula-2 设计了单遍 （single-pass）编译器。获奖后兴趣：操作系统环境、 工作站设计、处理器结构分析、程序设计基础。 ·1985年获奖人:Richard M.Karp（1935-） 获奖工作：复杂性理论，推广Stephen Cook的早期 工作。获奖后兴趣：组合算法和NP-完全性研究，撰写 有关组合算法的概率分析著作。
2002-3-27
14
2002-3-27 8
·1986 年 获 奖 人 ： John Hopcoft （ 1939- ） 、 Robert E.Tarjan（1938-） 获奖工作：算法和数据结构的设计、分析方面的基础 成就。 ·1987年获奖人：John Cocke（l925-） 获奖工作：编译器的设计和理论、高性能计算机的 体系结构。 ·1988年获奖人：Ivan E.Sutherland（1938-） 获奖工作：交互式计算机图形学。 ·1989年获奖人：Willia M.Kahan（1933-） 获奖工作：在他的带动和领导下，制定了独立于二 进制和基数的浮点计算的标准。这种标准目前仍被采用。
图灵奖得主的主要成就
·1966年获奖人:Alan J.Perlis（1922－1990） 获奖工作：程序设计语言定义和设计，程序设计技 术，计算机科学教育方面的领导工作。获奖后，主要从 事并开发程序设计语言和软件系统的动态行为等方面的 研究。 ·1967年获奖人:Maurice V.Wilkes（1913-） 获奖工作：存储式程序计算机早期开发中的领导工 作，发明了标识符、宏指令、程序微代码，与别人共同 发明了子程序概念，1949年，他开发了第一台电子数据 存储自动计算机（简称EDSAC）。
2002-3-27 1
·1968年获奖人：Richard W.Hamming（1915-） 获奖工作：在AT＆T Bell实验室，发明了用他的 名字命名的错误测试/纠错码。他有句格言“计算的 目的在于领会，不在数本身”。获奖后，撰写了概 率论和组合数学方面的专著。