计算机名人堂(历届图灵奖获得者)
摘自 温研的专栏
图灵奖最早设立于1966年,是美国计算机协会在计算机技术方面所授予的最高奖项,被喻为计算机界的诺贝尔奖.它是以英国数学天才Alan Turing先生的名字命名的,Alan Turing先生对早期计算的理论和实践做出了突出的贡献.图灵奖主要授予在计算机技术领域做出突出贡献的个人.而这些贡献必须对计算机业有长远而重要的影响.迄今为止已有34位在计算机领域做出突出贡献的科学家获此殊荣.
1966年,A. J. Perlis因其在新一代编程技术和编译架构方面的贡献成为图灵奖的第一个得主.
图灵奖被称为“计算科学界的诺贝尔奖”，它创立于1960年，现在的奖金10万美元，由Intel公司赞助。
1966 A.J.Perlis因在新一代编程技术和编译架构方面的贡献而获奖
1967 Maurice V.Wilkes因设计出第一台具有内置存储程序的计算机而获奖
1968 Richard W.Hamming因在计数方法、自动编码系统、检测及纠正错码方面的贡献被授予图灵奖
1969 Marvin Minsky(资料空缺)
1970 J.H.Wilkinson因在利用数值分析方法来促进高速数字计算机的应用方面的研 究而获奖
1971 John McCarthy因对人工智能的贡献被授予图灵奖
1972 Edsger W.Dijkstra因在编程语言方面的出众表现而获奖
1973 Charles W.Bachman因在数据库方面的杰出贡献而获奖
1974 Donald E.Knuth因设计和完成TEX(一种创新的具有很高排版质量的文档制作工具)而被授予该奖
1975 Allen Newell和Herbert A.Simon因在人工智能、人类心理识别和列表处理等 方面进行的基础研究而获奖
1976 Michael O.Robin和Dana S.Scott因他们的论文“有限自动机与它们的决策问 题”中所提出的非决定性机器这一很有价值的概念而获奖
1977 John Backus因对可用的高级编程系统设计有深远和重大的影响而获将1978 Robert W.Floyd因其在软件编程的算法方面的深远影响，并开创了包括剖析 理论、编程语言的语义、自动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖
1979 Kenneth E.Iverson因对程序设计语言理论、互动式系统及APL的贡献被授予该奖
1980 C.Anthony R.hoare因对程序设计语言的定义和设计所做的贡献而获奖
1981 Edgar F.Codd因在数据库管理系统的理论和实践方面的贡献而获奖
1982 Steven A.Cook因奠定了NP-Completeness理论的基础而获奖
1983 Ken Thompson和Dennis M.Ritchie因在通用操作系统理论方面的突出贡献， 特别是对UNIX操作系统的推广的贡献而获奖
1984 Niklaus Wirth因开发了EULER、ALGOL-W、MODULA和PASCAL一系列崭新的计算语言而获奖
1985 Richard M.Karp因对算法理论的贡献而获奖
1986 John E.Hopcroft因在算法及数据结构的设计和分析中所取得的决定性成果而 获奖
1987 John Cocke因在面向对象的编程语言和相关的编程技巧方面的贡献而获奖
1988 Ivan E.Sutherland因在计算机图形学方面的贡献而获奖
1989 William V.Kahan因在数值分析方面的贡献而获奖
1990 Fernando J.Corbato因在开发大型多功能、可实现时间和资源共享的计算系统，如CTSS和Multics方面的贡献而获奖
1991 Robin Milner因在可计算的函数逻辑(LCF)、ML和并行理论(CCS)这三个方面的贡献而获奖
1992 Butler Lampson因在个人分布式计算机系统方面的贡献而获奖
1993 Jurlis Hartmanis和Richard E.Stearns因奠定了计算复杂性理论的基础而获 奖
1994 Raj Reddy和Edward Feigenbaum因对大型人工智能系统的开拓性研究而获奖
1995 Manuel Blum因奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献而获奖
1996 Amir Pnueli因在中引入临时逻辑和对程序及系统检验的贡献而获奖
1997 Douglas Engelbart因提出交互计算概念并创造出实现这一概念的重要技术而获奖
1998 James Gray因在数据库和事务处理方面的突出贡献而获奖
1999 Frederick P.和Brooks ,Jr.因对计算机体系结构和操作系统以及软件工程做出了里程碑式的贡献. 人月神话的作者。
2000 Yao, Andrew Chi-Chih (姚期智)由于在计算理论方面的贡献而获奖，包括伪随机数的生成算法、加密算法和通讯复杂性。
2001 Dahl, Ole-Johan和Nygaard, Kristen 因他们在设计编程语言SIMULA I 和 SIMULA 67时产生的基础性想法,这些想法是面向对象技术的肇始.
2002 Rivest, Ronald L.和Shamir, 和Adi Adleman, Leonard M.国际上最具影响力的公钥密码算法“RSA”的创始人
2003 Kay, Alan 因发明第一个完全面向对象的动态计算机程序设计语言Smalltalk. 至理名言：预测未来的最好方法是创造它。
2004 Cerf, Vinton G.和Kahn, Robert E.(TCP/IP协议发明人)由于在互联网方面开创性的工作，这包括设计和实现了互联网的基础通讯协议，TCP/IP，以及在网络方面卓越的领导。
2005 Naur, Peter ACM（美国计算机学会）决定将2005年图灵奖颁发给Peter Naur， 以表彰他在设计Algol 60语言上的贡献。由于其定义的清晰性，Algol 60成为了许多现代程序设计语言的原型。在语法描述中广泛使用的BNF范式，其中的 “N”便是来自Peter Naur的名字。
摘要：( 授 予 Fernando Jose Corbato 图 灵 奖 以 表 彰 其 )先驱性的在组织和综合概念和领导开发通用大规模，分时系统，资源共享计算机系统，如CTSS和Multics。 ——点击 此处阅读全文
摘要：( 授 予 William (Velvel) Kahan图 灵 奖 以 表 彰 其 )在数值分析领域基础性的贡献。William Kahan是关于浮点运算方面最重要的科学家之一。Kahan一直致力于“使得这个世界在数值计算方面更加安全” ——点击 此处阅读全文
摘要：( 授 予Ivan Sutherland 图 灵 奖 以 表 彰 其在) 从Sketchpad开始在计算机图形学领域先驱性的和远见性的贡献。虽然Sketchpad是Ivan Sutherland二十五年前的工作，但Sketchpad中的许多技术对目前仍然是非常重要的。这其中包括屏幕刷新的文件显示，对图形对象(Object)的递归扫描的层次结构，对几何转换的递归方法和面向对象(Object Oriented)的编程模式。Ivan Sutherland在Sketchpad之后的发明还包括用来显示立体和彩色图像的"Lorgnette"技术，和一系列(图形图像)算法：registering digitized views, clipping polygons,和representing surfaces with hidden lines(用隐含的线来表达一个图形的表面)。 ——点击 此处阅读全文
摘要：( 授 予John Cocke 图 灵 奖 以 表 彰 其在)编译理论与实践领域的重要贡献，大型系统的体系结构，精简指令集(RISC)的开发，和发现与系统化被用在优化编译领域的许多基本的变换理论，例如：reduction of operator strength, elimination of common subexpressons, register allocation, constant propagation, and dead code elimination。 ——点击 此处阅读全文
摘要：( 授 予 Robert E. Tarjan图 灵 奖 以 表 彰 其在) 数据结构和算法设计与分析领域的重要的基础性的贡献。 ——点击 此处阅读全文
摘要：( 授 予 John E. Hopcroft图 灵 奖 以 表 彰 其在) 数据结构和算法设计与分析领域的重要的基础性的贡献。 ——点击 此处阅读全文
摘要：( 授 予 Richard M. Karp图 灵 奖 以 表 彰 其在) 算法理论方面的持续性的贡献，其中包括在网络流(network flow) 和其他组合优化问题领域的高效算法的研究，在多项式时间可计算性算法方面，特别是对NP完全理论的贡献。Karp引入了现已经成为标准方法的用来证明一个问题是否是属于NP完全。Karp的方法使得许多理论和实际问题被确认为从可计算性角度而言是复杂的或困难的。 ——点击 此处阅读全文
摘要： ( 授 予Niklaus Wirth 图 灵 奖 以 表 彰 其 ) 开发了一系列的计算机程序语言，EULER, ALGOL-W, MODULEA和PASCAL。PASCAL语言 被用在计算机程序语言教学上具有重要的意义，并为将来的计算机语言，系统和结构设计提供了一个基础。 ——点击 此处阅读全文
摘要：( 授 予Dennis Ritchie和Ken Thompson 图 灵 奖 以 表 彰 其 在)通用操作系统理论领域的贡献，特别是Unix操作系统的开发与实现。 ——点击 此处阅读全文
摘要：( 授 予Dennis Ritchie和Ken Thompson 图 灵 奖 以 表 彰 其 在)通用操作系统理论领域的贡献，特别是Unix操作系统的开发与实现。 ——点击 此处阅读全文
摘要：( 授 予 Stephen A. Cook 图 灵 奖 以 表 彰 其 ) 对我们深刻理解计算复杂性的开创性的贡献。Cook的开创性文章，1971年发表在ACM SIGACT Symposium on the Theory of Computing, "The Complexity of Theorem Proving Procedures", 揭开了计算复杂性中NP完全性的研究。在此基础上的关于NP完全性问题的本质和边界的研究与探讨 成为过去十年来计算机科学最活跃和重要的研究领域之一。 ——点击 此处阅读全文
摘要： 授 予 Edgar F. Codd图 灵 奖 以 表 彰 其) 在数据库管理系统的理论与实践领域的根本性的，持续的贡献。开始于1970年，Edgar发表了一系列的研究文章关于关系数据模型的数据库管理。其中，他的“A Relational Model of Data for Large Shared Data Banks” 一文是数据库系统研究领域的开创性文章。Codd博士在数据库领域的基础性工作为其他相关领域的广泛研究提供了动力，比如数据库语言，查询子系统，数据库语义，锁和恢复，推理系统等等。 ——点击 此处阅读全文
摘要： ( 授 予 C. Antony R. Hoar图 灵 奖 以 表 彰 其在) 程序语言定义与设计领域的根本性的贡献。 ——点击 此处阅读全文
摘要：( 授 予 Kenneth E. Iverson 图 灵 奖 以 表 彰 其 ) 在APL程序语言和(计算机)数学符号方面的先驱性的工作；表彰其在教育和普及APL语言和程序语言理论和实践方面的交互式系统的实现工作。 ——点击 此处阅读全文
摘要：( 授 予 Robert W. Floyd 图 灵 奖 以 表 彰 其 ) 在高效和可靠性软件设计方法学领域的显著影响；表彰其在下列计算机科学重要分支的奠基性的贡献：(词法)分析理论，编程语言语义，自动程序验证，自动程序综合生成和算法分析。 ——点击 此处阅读全文
摘要：( 授 予John Backus 图 灵 奖 以表 彰其在) 可实用高级编程系统设计，特别是其在FORTRAN语言方面的设计，以及其在编程语言规约的形式化描述方面的，深奥的，杰出影响力的和持续的贡献。 ——点击 此处阅读全文
摘要： ( 授 予 Michael O. Rabin图 灵 奖 以 表 彰 其 )( 与Dana Steward Scott合作撰写的研究论文)” 有限自动机与其判定性问题“。在该研究论文中，提出了非确定性(自动机)机器的观点。(在计算理论科学研究中，)非确定性被证明是一个非常重要的概念。Rabin和Scott的这篇经典文章成为这个领域后续研究的基石。 ——点击 此处阅读全文
摘要：( 授 予 Dana S. Scott图 灵 奖 以 表 彰 其 )( (与Michael O. Rabin合作撰写的研究论文)” 有限自动机与其判定性问题“。在该研究论文中，提出了非确定性(自动机)机器的观点。(在计算理论科学研究中，)非确定性被证明是一个非常重要的概念。Scott和Rabin的这篇经典文章成为这个领域后续研究的基石。 ——点击 此处阅读全文
摘要：( 授 予 Herbert Simon 图 灵 奖 以 表 彰 其 在)开始于与在RAND(兰德)公司的J. C. Shaw的合作，然后与Carnegie-Mellon Unviersity(CMU)的众多教授和学生的合作的二十多年的科学生涯中，他们在人工智能，认知科学，编目处理方面作出了(卓越的)基础研究。 ——点击 此处阅读全文
摘要： ( 授 予 Allen Newell 图 灵 奖 以 表 彰 其 在)开始于与在RAND(兰德)公司的J. C. Shaw的合作，然后与Carnegie-Mellon Unviersity (CMU) 的众多教授和学生的合作的二十多年的科学生涯中，他们在人工智能，认知科学，编目处理方面作出了(卓越的)基础研究。 ——点击 此处阅读全文
摘要：( 授 予 Donald E. Knuth 图 灵 奖 以 表 彰 其 在 ) 算法分析和程序语言设计领域的杰出贡献，特别是其著名的“Art of Computer Programming"系列丛书。 ——点击 此处阅读全文
摘要：( 授 予 Charles W. Bachman 图 灵 奖 以 表 彰 其 在 )数据库技术方面的杰出贡献。 ——点击 此处阅读全文
摘要：Edsger Dijkstra是1950年代ALGOL语言的一个主要贡献者。ALGOL高级编程语言已经成为结构清晰，数学基础严谨的一个典范。E. W. Dijkstra是现代编程语言的主要贡献者之一，为我们理解程序语言的结构，表示方法与实现做出了巨大的贡献。E. W. Dijkstra 15年的学术著作覆盖了图论的理论工作，教育手册，解释文章和编程语言领域的哲学思考。 ——点击 此处阅读全文
摘要：( 授 予 John MacCarthy图 灵 奖 ) MacCarthy博士的”人工智能研究的现状“一文充分体现了其在人工智能领域有目共睹的杰出的贡献。 ——点击 此处阅读全文
摘要：授予 James H. Wilkinson 图灵奖以表彰其在数值分析(numberical analysis)研究领域的杰出贡献。其工作加速了数字计算机(在科学计算中)的使用。Wilkinson在线性代数和向后误差分析(backward error analysis)的创造性工作也获得了非常大的成功。 ——点击 此处阅读全文
摘要：Marvin Minsky是通过其在人工智能研究方面的杰出成就而获得1969年的图灵奖的。 ——点击 此处阅读全文
摘要：授予 Richard Hamming 图灵奖以表彰其在数字方法，自动编码系统和错误检测和错误纠正编码领域的杰出贡献。 ——点击 此处阅读全文
摘要：Wikes 教授以设计和实现了第一台具有内部存储程序的计算机EDSAC而闻名。 ——点击 此处阅读全文
摘要：” ( 授 予 Alan J. Perlis 图 灵 奖 以 表 彰 其 在 ) 高 级 编 程 技 术 及 其 编 译 器 构 造 领 域 的 影 响 。 “ ——点击 此处阅读全文
扫一扫
1万+
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
