历届图灵奖得主

历届图灵奖得主图灵奖-----计算机的诺贝尔奖图灵奖得主1966年图灵奖获得者美国科学家艾伦佩利Alan J.Perlis：ALGOL语言和计算机科学的“催生者”。获奖演说“算法系统的综合”（The Synthesis of Algorithmic System）。1967年图灵奖获得者英国科学家莫里斯威尔克斯Maurice V.Wilkes：世界上第一台存储程序式计算机EDSAC的研制者。获奖演说“计算机的过去和现在”（Computer Then and Now）。1968年图灵奖获得者美国科学家理查德汉明Richard W.Hamming：发明了纠错码——汉明码（Hamming Code）。获奖演说“对计算机科学的看法”（On Man’s View of Computer Science）。图灵奖得主1969年图灵奖获得者美国科学家马文明斯基Marvin L.Minsky：“人工智能之父”，知识的框架理论（Frame Theory）创立者。获奖演说“计算机科学的形式和内容” 。1970年图灵奖获得者英国科学家詹姆斯威尔金森James H.Wilkinson：数值分析专家和研制ACE计算机（第一台商业计算机）的功臣。获奖演说“一个数值分析家的若干意见” 。1971年图灵奖获得者美国科学家约翰麦卡锡John MacCarthy：“人工智能之父”，LISP语言的发明者。获奖演说“人工智能研究的现状” 。图灵奖得主1972年图灵奖获得者荷兰科学家埃德斯加狄克斯特拉Edsgar W.Dijkstra：最早指出“goto”语句有害，著名的最短路径Dijkstra算法，现代操作系统的奠基者之一。获奖演说“智力低下的程序员” 。1973年图灵奖获得者美国科学家查尔斯巴赫曼Charles W.Bachman：网状数据库之父、推动与促成数据库标准的制订。获奖演说“作为导航员的程序员” 。1974年图灵奖获得者美国科学家唐纳德克努特Donad E.Knuth：经典巨著《计算机程序设计的艺术》The Art of Computer Programming的作者，排版软件的先驱（TEX）。获奖演说“作为一种艺术的计算机程序设计” 。图灵奖得主1975年图灵奖获得者美国科学家赫伯特西蒙Herbert A.Simon和艾伦纽厄尔Allen Newell：人工智能符号主义学派的创始人，提出了“物理符号系统假说”。获奖演说“计算机科学作为按经验进行探索的科学：符号和搜索” 。1976年图灵奖获得者以色列科学家迈克尔拉宾Michael O.Rabin和英国科学家达纳斯科特Dana S.Scott ：“非确定性有限状态自动机理论”的创立者。获奖演说“计算复杂性”和“逻辑与程序设计语言” 。1977年图灵奖获得者美国科学家约翰巴克斯John W.Backus：Fortran语言以及“巴克斯范式BNF”的发明者。获奖演说“机程序设计能从冯诺依曼形式中解脱出来吗？函数式风格及其程序设计” 。图灵奖得主1978年图灵奖获得者美国科学家罗伯特弗洛伊德Robert W.Floyd ：Algol60最早的编译器开发者、HeapSort算法、验证程序正确性的“前后断言法”的创始者。获奖演说“程序设计的风范” 。1979年图灵奖获得者加拿大科学家肯尼斯艾佛森Kenneth E.Iverson：交互式程序设计语言APL的发明人，程序设计语言的理论和实践的开创者。获奖演说“作为思维工具的符号” 。1980年图灵奖获得者英国科学家查尔斯霍尔Charles A.R.Hoare：QuikSort算法、Case语句等的发明者，程序设计语言的公理化方法（公理语义学）的提出者。获奖演说“皇帝的旧衣” 。图灵奖得主1981年图灵奖获得者美国科学家埃德加科德Edgar F.Codd：关系数据库之父。获奖演说“关系数据库：提高生产率的实际基础” 。1982年图灵奖获得者加拿大科学家史蒂芬库克Stephen A.Cook ：NP完全性理论的奠基人。获奖演说“计算复杂性综述” 。1983年图灵奖获得者美国科学家肯尼斯汤普森Kenneth L.Thompson和丹尼

斯里奇Dennis M.Ritchie ：C语言以及Unix的发明者。获奖演说“对深信不疑的信任的反思”和“对软件研究的反思” 。图灵奖得主1984年图灵奖获得者瑞士科学家尼克劳斯沃斯Niklaus Wirth ：Pascal语义的发明者和结构化程序设计创始者。著名公式“程序＝数据结构＋算法”的提出者。获奖演说“从程序设计语言到计算机的建造” 。1985年图灵奖获得者美国科学家理查德卡普Richard M.Karp：加州大学伯克利分校数学系、计算机系和工业工程及运筹学系三个系的教授。在算法分析与设计、计算复杂性、随机算法等方面都有突出贡献。提出了解决推销员最佳路径问题的“分支限界法”。获奖演说“组合论、复杂性和随机性” 。1986年图灵奖获得者美国科学家约翰霍普克洛夫特John E.Hopcroft和罗伯特陶尔扬Robert E.Tarjan：一对师生。数据结构以及算法分析和设计方面有突出贡献：双堆栈叠和深度优先算法。获奖演说“计算机科学：作为一门学科的出现”和“算法设计” 。图灵奖得主1987

年图灵奖获得者美国科学家约翰科克John Cocke ：在高性能计算和体系结构方面做出了突出贡献：世界上第一个“超级计算机”的设计者、RISC（精简指令集计算）概念的首创者。获奖演说“对科学处理器性能的探索” 。1988年图灵奖获得者美国科学家伊万萨瑟兰Ivan E.Sutherland：计算机图形学之父。没有发表获奖演说。1989年图灵奖获得者加拿大科学家威廉卡亨William M.Kahan ：浮点计算的先驱：在浮点运算部件的设计和浮点运算标准的制订中做出了突出的贡献。没有发表获奖演说。图灵奖得主1990年图灵奖获得者美国科学家费尔南多考巴脱Fernando

J.Corbato ：实现了计算机分时系统，让多用户共享计算机资源。没有发表获奖演说。1991年图灵奖获得者英国科学家罗宾米尔纳Robin Milner：标准元语言（Meta Language）的开发者——用于描述、表达与验证其他程序设计语言的语言。获奖演说“交互的原理” 。1992年图灵奖获得者美国科学家巴特勒兰普森Butler

mpson ：微软首席技术官，Alto系统（第一个个人计算机系统，首次实现了图形用户界面）的首席科学家。没有发表获奖演说。图灵奖得主1993年图灵奖获得者美国科学家尤里斯哈特马尼斯Juris Hartmanis和理查德斯特恩斯Richard

E.Stearns ：计算复杂性理论的主要奠基人。获奖演说“论计算复杂性及计算机科学的性质”和“是重新考虑时间这个问题的时候了” 。1994年图灵奖获得者美国科学家爱德华费根鲍姆Edward A.Feigenbaum和劳伊雷迪Raj Reddy ：大型人工智能系统的开拓者。获奖演说“‘什么’怎样变成‘如何’”和“对可能的‘梦想’的梦想” 。1995年图灵奖获得者美国科学家曼纽尔布卢姆Manuel Blum ：计算复杂性理论的主要奠基人。没有发表获奖演说。（香港城市大学计算机系教授。10 月份刚来北大参加微软第四届“21世纪的计算”国际会议）图灵奖得主1996年图灵奖获得者以色列科学家阿米尔伯努利Amir Pnueli ：将时态逻辑引入计算机科学：用于作为开发反应式系统和并发系统时进行规格说明和验证的工具。没有发表获奖演说。1997年图灵奖获得者美国科学家道格拉斯恩格尔巴特Douglas Engelbart：鼠标的发明者以及超文本研究的先驱。没有发表获奖演说。1998年图灵奖获得者美国科学家詹姆斯格雷James Gray ：在推动数据库技术——事务处理技术的发展中作出了重大的贡献。获奖演说“信息技术今后的目标”。图灵奖得主1999年图灵奖获得者美国科学家弗雷德里克布鲁克斯Frederick P.Brooks ：大型计算机——IBM360系列计算机的总设