《历届图灵奖得主》由会员分享，可在线阅读，更多相关《历届图灵奖得主（2页珍藏版）》请在金锄头文库上搜索。
1、历届图灵奖得主图灵奖-计算机的诺贝尔奖 图灵奖得主1966年图灵奖获得者 美 国科学家艾伦佩利Alan J.Perlis：ALGOL语言和计算机 科学的“催生者”。获奖演说 “算法系统的综合”（The Synthesis of Algorithmic System）。1967年图灵奖获得者 英 国科学家莫里斯威尔克斯Maurice V.Wilkes：世界上 第一台存储程序式计算机 EDSAC的研制者。获奖演说“计算机的 过去和现在”（Computer Then and Now）。 1968年图灵奖获得者 美国科学家理查德汉明Richard W.Hamming：发明了纠 错码 汉明码（Hammi
2、ng Code）。获奖演说“对计算机科学的 看法”（On Mans View of Computer Science）。 图灵奖得主1969年图灵奖获得者 美国科学家马文明斯基 Marvin L.Minsky： “人工智能之 父”，知识的框架理论（Frame Theory）创立者。获奖 演说“计算机 科学的形式和内容” 。1970年图灵奖获得者 英国科学家詹姆斯威尔 金森James H.Wilkinson：数值分 析专家和研制ACE计算机（第一台商业计算机）的功 臣。获奖演 说“一个数值分析家的若干意见” 。1971年图灵奖获得者 美国科学家约 翰麦卡锡John MacCarthy： “人工智
3、能之 父”，LISP语言的发明者。获奖演说“人工智 能研究的现状” 。 图灵奖得主1972年图灵奖获得者 荷兰科学家埃德斯加狄克斯特 拉Edsgar W.Dijkstra： 最 早指出“goto”语句有害，著名的最短路径Dijkstra算法，现 代操 作系统的奠基者之一。获奖演说“智力低下的程序员” 。1973年图灵奖获得者 美国科学家查尔斯巴赫曼Charles W.Bachman：网状数据 库之父、推动与促成数据库 标准的制订。获奖演说“作为导航员的程 序员” 。1974年图灵奖获得者 美国科学家 唐纳德克努特Donad E.Knuth： 经典巨著计算 机程序设计的艺术The Art of
4、Computer Programming的作者，排版 软件的先驱（TEX）。获奖演说“作为一种艺术的 计算机程序设计” 。 图灵奖得主1975年图灵奖获得者 美国科学家赫伯特西蒙 Herbert A.Simon和艾伦 纽厄尔 Allen Newell： 人工智能符号主义学派的创始人，提 出了 “物理 符号系统假说”。获奖演说“计算机科学作为按经验进行探索的科 学：符 号和搜索” 。1976年图灵奖获得者 以色列科学家迈克尔拉宾Michael O.Rabin和英国 科学家达 纳斯科特Dana S.Scott ：“非确定性有限状态自动机理论”的创 立者。获奖 演说“计算复杂性”和“逻辑与程序设计语
5、言” 。1977年图灵奖获得者 美国科学家约 翰巴克斯John W.Backus：Fortran语言以及“巴 克斯范式BNF”的发明者。获奖演说 “机程序设计能从冯诺依曼形式 中解脱出来吗？函数式风格及其程序设计” 。 图 灵奖得主1978年图灵奖获得者 美国科学家罗伯特弗洛伊德Robert W.Floyd ：Algol60最早 的编译器开发者、HeapSort算法、验证程序正确性的“前后断言法”的 创始者 。获奖演说“程序设计的风范” 。1979年图灵奖获得者 加拿大科学家肯尼斯 艾佛森Kenneth E.Iverson：交互式程 序设计语言APL的发明人，程序设计语言的理 论和实践的开创者
6、。 获奖演说“作为思维工具的符号” 。1980年图灵奖获得者 英国 科学家查尔斯霍尔Charles A.R.Hoare：QuikSort算法、 Case语句等的发明者，程序设 计语言的公理化方法（公理语义学） 的提出者。获奖演说“皇帝的旧衣” 。 图灵奖得 主1981年图灵奖获得者 美国科学家埃德加科德Edgar F.Codd：关系数据库之父。获 奖演说“关系数据库：提高生产率的实际基础” 。1982年图灵奖获得者 加拿大科学 家史蒂芬库克Stephen A.Cook ：NP完全性理论 的奠基人。获奖演说“计算复杂性综 述” 。1983年图灵奖获得者 美国科学家肯尼斯汤普森Kenneth L.
7、Thompson和丹尼 斯里奇Dennis M.Ritchie ：C语言以及Unix的发明者。获奖演 说“对深信不疑的信任 的反思”和“对软件研究的反思” 。 图灵奖得主1984年图灵奖获得者 瑞士科学家尼 克劳斯沃斯Niklaus Wirth ：Pascal语义的发明者和结构 化程序设计创始者。著名公 式“程序 数据结构 算法”的提出者。获奖演 说“从程序设计语言到计算机的 建造” 。1985年图灵奖获得者 美国科学家理查德卡普Richard M.Karp：加州大学伯 克利分校数学 系、计算机系和工业工程及运筹学系三个系的教授。在算法分析与设 计、计 算复杂性、随机算法等方面都有突出贡献。提
8、出了解决推销员最佳路径问题 的“分支限界法”。获奖演说“组合论、复杂性和随机性” 。1986年图灵奖获得者 美国 科学家约翰霍普克洛夫特John E.Hopcroft和罗伯特陶尔扬 Robert E.Tarjan：一对师 生。数据结构以及算法分析和设计方面有突出 贡献：双堆栈叠和深度优先算法。获 奖演说“计算机科学：作为一门学科的 出现”和“算法设计” 。 图灵奖得主1987年图 灵奖获得者 美国科学家约翰科克John Cocke ：在高性能计算和体系结构方面做出 了突出贡献：世界上第一个“超级计算机”的设计者、RISC（精简指令集计 算）概念的 首创者。获奖演说“对科学处理器性能的探索” 。
9、1988年图灵奖获得者 美国科学家 伊万萨瑟兰Ivan E.Sutherland：计算机图形学之 父。没有发表获奖演说 。1989年图 灵奖获得者 加拿大科学家威廉卡亨William M.Kahan ：浮点计算的先 驱：在浮点运 算部件的设计和浮点运算标准的制订中做出了突出的 贡献。没有发表获奖演说。 图灵奖得主1990年图灵奖获得者 美国科学家费尔南多考巴脱Fernando J.Corbato ： 实现了 计算机分时系统，让多用户共享计算机资源。没有发表获奖演说 。1991年图 灵奖获得者 英国科学家罗宾米尔纳Robin Milner：标准元语言（Meta Language）的开 发者用于描
10、述、表达与验证其他程序设计语言 的语言。获奖演说“交互的原理” 。1992年图灵奖获得者 美国科学家巴特勒兰普森Butler W.Lampson ：微软首席技 术官，Alto系统（第一个个人计算机系统，首次实现了图形用户界 面）的首席科学家。 没有发表获奖演说。 图灵奖得主1993年图灵奖获得者 美国科学家尤里斯哈特马尼 斯Juris Hartmanis和理查德斯特恩斯 Richard E.Stearns ：计算复杂性理论的主要奠 基人。获奖演说“论计算 复杂性及计算机科学的性质”和“是重新考虑时间这个问题 的时候了” 。1994年图灵奖获得者 美国科学家爱德华费根鲍姆Edward A.Fei
11、genbaum和劳 伊雷迪Raj Reddy ：大型人工智能系统的开拓者。获奖演说 “什 么怎样变成如何”和“对可能的梦想的梦想” 。1995年图灵奖获得者 美国科学家 曼纽尔布卢姆Manuel Blum ：计算复杂性理论的 主要奠基人。没有发表获奖演说。 （香港城市大学计算机系教授。10 月份刚来北大参加微软第四届“21世纪的计算”国 际会议） 图灵奖得主1996年图灵奖获得者 以色列科学家阿米尔伯努利Amir Pnueli ：将时态逻辑引入 计算机科学：用于作为开发反应式系统和并发系统时进行规格说 明 和验证的工具。没有发表获奖演说 。1997年图灵奖获得者 美国科学家道格拉斯 恩格尔巴特
12、Douglas Engelbart：鼠标 的发明者以及超文本研究的先驱。没有发表获 奖演说 。1998年图灵奖获得者 美国科学家詹姆斯格雷James Gray ：在推动数据库 技术 事务处理技术的发展中作出了重大的贡献。获奖演说“信息技术今后 的 目标”。 图灵奖得主1999年图灵奖获得者 美国科学家弗雷德里克布鲁克斯Frederick P.Brooks ：大型计算机 IBM360系列计算机的总设计师和总指挥。没有发表获奖演说 。2000年图灵奖获得者 华裔美国科学家姚期智Andrew Chi-chih Yao：在计算 理论 方面做出了诸多“根本性的、意义重大的”贡献。这是首位（也是唯 一一位）获 得图灵奖的 华裔科学家。 10月份刚来北大参加微软第四 届“21世纪的计算”国际 会议。
