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