历届图灵奖得主.pdfVIP

历届图灵奖得主图灵奖计算机的诺贝尔奖 图灵奖得主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语句等的发明者，程序设 计语言的公理化方法（公理语义学） 的提出者。获奖演说“皇帝的旧衣”