图灵奖简介
图灵奖(A.M. Turing Award,又译“杜林奖”),由美国计算机协会(ACM)于1966年设立,又叫“A.M. 图灵奖”,专门奖励那些对计算机事业作出重要贡献的个人。其名称取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。由于图灵奖对获奖条件要求极高,评奖程序又是极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。因此它是计算机界最负盛名、最崇高的一个奖项,有“计算机界的诺贝尔奖”之称。
樱花折纸教程
每年,美国计算机协会将要求提名人推荐本年度的图灵奖候选人,并附加一份200到500字的文章,说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的评审,并最终确定当年的获奖者
1966年图灵奖获得者
美国科学家艾伦春节祝福图·佩利(Alan J.Perlis):ALGOL语言和计算机科学的“催生者”。获奖演说“算法系统的综合”(The Synthesis of Algorithmic System)。
1967年图灵奖获得者
17爱
英国科学家莫里斯·威尔克斯(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)创立者。获奖演说“计算机科学的形式和内容”(form and Content in Computer Science)。
1970年图灵奖获得者
英国科学家詹姆斯·威尔金森(James H.Wilkinson):数值分析专家和研制ACE计算机(第一台商业计算机)的功臣。获奖演说“一个数值分析家的若干意见”(Some Comments from a Numerical Analyst)。
1971年图灵奖获得者
美国科学家约翰·麦卡锡(John MacCarthy): “人工智能之父”,LISP语言的发明者。获奖演说“人工智能研究的现状”(Generality in Artificial Intelligence)。
1972年图灵奖获得者
荷兰科学家埃德斯加·狄克斯特拉(Edsgar W.Dijkstra): 最早指出“goto”语句有害,著名的最短路径什么是声卡Dijkstra算法,现代操作系统的奠基者之一。获奖演说“智力低下的程序员”(The Humble Programmer)。
1973年图灵奖获得者
美国科学家查尔斯·巴赫曼(Charles W.Bachman):网状数据库之父、推动与促成数据库标准的制订。获奖演说“作为导航员的程序员”(The Programmer as Navigator)。
1974年图灵奖获得者
美国科学家唐纳德·克努特(Donad E.Knuth): 供认读音经典巨著《计算机程序设计的艺术》(The Ar
t of Computer Programming)的作者,排版软件的先驱(TEX)。获奖演说“作为一种艺术的计算机程序设计”(Computer programming as an Art)。
1975年图灵奖获得者
七手八脚
美国科学家赫伯特·西蒙(Herbert A.Simon)和艾伦· 纽厄尔(Allen Newell): 人工智能符号主义学派的创始人,提出了 “物理符号系统假说”。获奖演说“计算机科学作为按经验进行探索的科学:符号和搜索”(Computer Science as Empirical Inquiry: Symbols and Search)。
1976年图灵奖获得者
以色列科学家迈克尔·拉宾(Michael O.Rabin)和英国科学家达纳·斯科特(Dana S.Scott) :“非确定性有限状态自动机理论”的创立者。获奖演说“计算复杂性”(Complexity of Computations)和“逻辑与程序设计语言”(Logic and Programming Languages)。
1977年图灵奖获得者
美国科学家约翰·巴克斯(John W.Backus):Fortran内部万元报语言以及“巴克斯范式(BNF)”的发明者。获奖演说“程序设计能从冯·诺依曼形式中解脱出来吗?函数式风格及其程序设计”(Can Programming Be Liberated From the von Neumann style? A Functional style and its Algebra of Programs)。
1978年图灵奖获得者
美国科学家罗伯特·弗洛伊德(Robert W.Floyd) :Algol60最早的编译器开发者、HeapSort算法、验证程序正确性的“前后断言法”的创始者 。获奖演说“程序设计的风范”(The Paradigms of Programming)。
1979年图灵奖获得者
加拿大科学家肯尼斯·艾佛森(Kenneth E.Iverson):交互式程序设计语言APL的发明人,程序设计语言的理论和实践的开创者。获奖演说“作为思维工具的符号”(Notation as a Tool of Thought)。
1980年图灵奖获得者
英国科学家查尔斯·霍尔(Charles A.R.Hoare):QuikSort算法、Ca语句等的发明者,程序设计语言的公理化方法(公理语义学)的提出者。获奖演说“皇帝的旧衣”(The Emperor 's Old Clothes)。臭氧层破坏的危害
1981年图灵奖获得者
美国科学家埃德加·科德(Edgar F.Codd):关系数据库之父。获奖演说“关系数据库:提高生产率的实际基础”(Relational Databa: A Practical Foundation for Productivity)。
1982年图灵奖获得者
加拿大科学家史蒂芬·库克(Stephen A.Cook) :NP完全性理论的奠基人。获奖演说“计算复杂性综述”(An Overview of Computational Complexity)。
1983年图灵奖获得者
美国科学家肯尼斯·汤普森(Kenneth L.Thompson)和丹尼斯·里奇(Dennis M.Ritchie) :C语言以及Unix的发明者。获奖演说“对深信不疑的信任的反思”(Reflections on Trusting Trust)和“对软件研究的反思”(Reflections on Software Rearch) 。
1984年图灵奖获得者
瑞士科学家尼克劳斯·沃斯(Niklaus Wirth) :Pascal语义的发明者和结构化程序设计创始者。著名公式“程序 = 数据结构 + 算法”的提出者。获奖演说“从程序设计语言到计算机的建造”(Toward a Discipline of Real-Time Programming)。
1985年图灵奖获得者
美国科学家理查德·卡普(Richard M.Karp):加州大学伯克利分校数学系、计算机系和工业工程及运筹学系三个系的教授。在算法分析与设计、计算复杂性、随机算法等方面都有突出贡献。提出了解决推销员最佳路径问题的“分支限界法”。获奖演说“组合论、复杂性和随机性”(Combinatorics Complexity and Randomness)。
1986年图灵奖获得者
美国科学家约翰·霍普克洛夫特(John E.Hopcroft)和罗伯特·陶尔扬(Robert E.Tarjan):一对师生。数据结构以及算法分析和设计方面有突出贡献:双堆栈叠和深度优先算法。获奖演说“计算机科学:作为一门学科的出现”(Computer Science: The Emergence of a Disciplin
e)和“算法设计”(Algorithmic Design)。