计算机文化基础系列常识-图灵奖获奖者介绍连载(十四)
历届图灵奖获奖者
阿迪·萨莫尔（Adi Shamir），2002年图灵奖获得者、以色列魏兹 曼科学研究所教授、美国外籍科学院院士、现代密码学奠基人之一。
Adi Shamir早年在以色列魏茨曼科学研究所获得硕士、博士学位， 1977至1980年在美国麻省理工学院学习后返回以色列，发表了许多文章， 获得了多项奖励，如美国计算机学院 Kannelakis奖、以色列数学协会 Erdos奖、IEEE W.r奖、UAP科学奖、梵蒂冈PUIS XI金奖以及 IEEE Koji Kobayashi计算机与通信奖等等。
大卫·帕特森（David Patterson），1947年11月16日出生于美国伊 利诺伊州，2017年图灵奖得主，美国国家科学院院士，美国国家工程院院 士，美国艺术与科学院院士，ACM Fellow，IEEE Fellow，美国科学促进 会会士。
大卫·帕特森于1969年获得加州大学洛杉矶分校数学专业学士学位； 1970年获得加州大学洛杉矶分校计算机科学专业硕士学位；1976年获得加 州大学洛杉矶分校计算机科学专业博士学位；1977年受聘为加州大学伯克 利分校助理教授；1990年当选为IEEE Fellow；1993年当选为美国国家工 程院院士；1994年当选为ACM Fellow；2006年当选为美国国家科学院院 士和美国艺术与科学院院士；2007年当选为美国科学促进会会士；2016年 受聘为谷歌杰出工程师；2017年获得ACM图灵奖。
图灵奖获得者
历届图灵奖获得者名单1966 A. J. Perlis --- PhD, MIT; Prof, Yale (was Prof at CMU) (deceased) 因在新一代编程技术和编译架构方面的贡献而获奖.1967 Maurice V. Wilkes --- PhD, Cambridge; Prof, Cambridge因设计出第一台程序实现完全内存的计算机而获奖.1968 Richard W. Hamming --- PhD, UIUC; Prof, Naval Postgraduate School(was at Bell) (deceased)因在计数方法、自动编码系统、检测及纠正错码方面的贡献被授予图灵奖. 1969 Marvin Minsky --- PhD, Princeton, Prof, MIT因对人工智能的贡献被授予图灵奖.1970 J.H. Wilkinson --- BS, Cambridge; staff, National Physical Laboratory, London 因在利用数值分析方法来促进高速数字计算机的应用方面的研究而获奖. 1971 John McCarthy --- PhD, Princeton; Prof, Stanford因对人工智能的贡献被授予图灵奖.1972 Edsger W. Dijkstra --- PhD, U Amsterdam; Prof, UT Austin因在编程语言方面的出众表现而获奖.1973 Charles W. Bachman --- staff, Honeywell因在数据库方面的杰出贡献而获奖.1974 Donald E. Knuth --- PhD, Caltech; Prof, Stanford因设计和完成TEX(一种创新的具有很高排版质量的文档制作工具)而被授予该奖.1975 Allen Newell --- PhD, Stanford; Prof, CMU (deceased)and Herbert A. Simon --- PhD, Chicago; Prof, CMU (deceased) 因在人工智能、人类识别心理和表处理的基础研究而获奖.1976 Michael O. Rabin --- PhD, Princeton; Prof, Harvardand Dana S. Scott --- PhD, Princeton; Prof, CMU因他们的论文"有限自动机与它们的决策问题"中所提出的非决定性机器这一很有价值的概念而获奖.1977 John Backus --- BS, Columbia; staff, IBM因对可用的高级编程系统设计有深远和重大的影响而获奖.1978 Robert W. Floyd --- BS, Chicago; Prof, Stanford因其在软件编程的算法方面的影响，并开创了包括剖析理论、编程语言的语义、自动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖.1979 Kenneth E. Iverson因对程序设计语言理论、互动式系统及APL的贡献被授予该奖.1980 C. Anthony R. Hoare --- Prof, Oxford(now at Microsoft)因对程序设计语言的定义和设计所做的贡献而获奖.1981 Edgar F. Codd --- PhD, Michigan; staff, IBM因在数椐库管理系统的理论和实践方面的贡献而获奖.1981年在美国工作的Edmund Clarke和Allen Emerson以及在法国的Sifakis 分别提出了模型检测（Model Checking）的最初概念，并且他们开发了一套用于判断硬件和软件设计的理论模型是否满足规范的方法，此外，当系统检测失败时，还能利用它确定代码中问题存在的位置。
图灵奖简介
SQL语言的出现是现代数据 库发展中的里程碑事件。如 今SQL已经深入世界上千百 万用户的日常使用中，带来 了巨大的技术进步和市场价 值。它风靡于整个IT业。
2002年 10月 18日 2002 年 10 月 18 日 ， 由微软亚洲研究院和国家自 然科学基金委员会联合举办的第四届“ 然科学基金委员会联合举办的第四届 “ 二十一 世纪的计算” 世纪的计算 ” 大型国际学术研讨会在北京大学 百年纪念堂举行。 本次大会主题为“ 百年纪念堂举行 。 本次大会主题为 “ 高信度计 三位“ 图灵奖” 获得者、 算 ” 。 三位 “ 图灵奖 ” 获得者 、 国际知名计算 机专家及微软高级技术官员在大会上做了主题 报告， 报告 ， 并与来自北京地区主要科研院校的两千 三百多名研究人员和计算机系师生就计算科学 的未来进行了深入交流和探讨。 的未来进行了深入交流和探讨 。 参加本次大会 的三位“ 图灵奖” 获得者有： Gray博士 博士、 的三位 “ 图灵奖 ” 获得者有 ： Jim Gray 博士 、 姚期智( Yao)博士和 博士和Manuel Blum博士 博士。 姚期智 ( Andrew Yao) 博士和 Manuel Blum 博士 。 姚期智博士是全球获此殊荣的首位华裔科学家。 姚期智博士是全球获此殊荣的首位华裔科学家 。
关系elation是数学中的一个基本概念由集合中的任意元素所组成的若干有序偶对orderedpair表示用以反映客观事物间所存在的一定关系如数之间的大小关系一个组织中的成员之间的领导被领导关系商品流通中的购销关系产品零部件之间的装配关系等等
图灵奖简介
“图灵奖”最早设立于1966年， 是美国计算机协会在计算机技 术方面所授予的最高奖项，被 誉为“计算机界的诺贝尔奖”， 主要授予那些在计算机技术领 域做出突出贡献、对计算机产 业发展有长远和重要影响的个 人。迄今为止(2003)已有36位 科学家获此殊荣。
图灵奖
图灵奖（A.M. Turing Award，又译“杜林奖”），由美国计算机协会（ACM）于1966年设立，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。
其名称取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。
由于图灵奖对获奖条件要求极高，评奖程序又是极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。
因此它是计算机界最负盛名、最崇高的一个奖项，有“计算机界的诺贝尔奖”之称。
目前图灵奖由英特尔公司以及Google公司赞助，奖金为250,000美元。
第一个：艾伦·佩利(Alan J．Perlis)，（1922-1990）毕业于麻省理工学院，博士。
ALCOL语言和计算机科学的“催生者”，由于在ALGOL语言的定义和扩充上所作出的重大贡献，以及在创始计算机科学教育，使计算机科学成为一门独立的学科上所发挥的巨大作用而成为首届图灵奖当之无愧的获得者。
佩利1973年当选为美国艺术和科学院院士，1976年当选为美国工程院院士。
除了获得图灵奖外，他还在1984年获得AFIPS的教育奖，曾被普渡大学、滑铁卢大学等多所大学授予名誉博士学位。
1966年成为首届图灵奖的获得者，其图灵奖演讲稿为：“The Synthesis of Algorithmic Systems”(算法系统的合成)。
第二个：莫里斯·文森特·威尔克斯爵士，FREng，FRS（Sir Maurice Vincent Wilkes，1913年6月23日－），英国计算机科学家。
设计和制造了世界上第一台存储程序式电子计算机EDSAC，在“工程和软件等计算机领域都有许多开创性成果”。
1956年，他当选为皇家学会院士；英国计算机学会的创始人之一，并担任第一任主席（1957年-1960年）；1977年和1980年先后当选为美国工程院和美国科学院外籍院士；是国际信息处理联盟（IFIP）的主要发起人之一。
关于图灵奖
计算机的发展史10509411吴小萌软件学院从1966年颁发图灵奖至今，已有近40个年头，共计有40多名科学家获此殊荣，其中美国学者最多，此外还有英国、瑞士、荷兰、以色列、挪威等国少数学者，也包含一名美籍华人。
图灵奖颁发的历史，实际上是计算机科学技术发展史的缩影。
所以，我从这个特殊的角度来简述计算机的发展史。
阿兰〃麦席森〃图灵，6月23日生于英国伦敦。
是英国著名的数学家和逻辑学家，被称为计算机科学之父、人工智能之父，是计算机逻辑的奠基者，提出了“图灵机”和“图灵测试”等重要概念。
图灵去世后的12年，即1966年，美国的计算机协会ACM (Association for Computing Machinery) 确定设立图灵奖。
图灵奖对获奖条件要求极高，评奖程序极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此荣。
它是计算机界最负盛名、最崇高的一个奖项，有“计算机界的诺贝尔奖”之称。
若干图灵奖获得者（1966--2001）的重大贡献1．世界上第一台存储程序式计算机EDSAC的研制者1967年（第二届）的图灵奖授予了英国皇家科学院院士、计算技术的先驱莫里斯〃威尔克斯（Maurice Vincent Wilkes），以表彰他在设计与制造世界上第一台存储程序式计算机EDSAC以及其他许多方面的杰出贡献。
威尔克斯1913年生于英国中西部的达德利，距著名的工业重镇伯明翰仅20公里。
威尔克斯在中学时代，对数学、物理和无线电非常爱好。
1931年他进入剑桥的圣约翰学院，1934年以优秀成绩毕业。
之后他进入剑桥著名的卡文迪什实验室工作。
这个实验室有“诺贝尔奖的摇篮”的美称。
威尔克斯在这里完成了“关于甚长无线电波在电离层中的传播特性”的研究，并以此为题完成了博士论文，于1938年10月取得剑桥大学博士学位，而他的硕士学位是在当年年初才获得的。
威尔克斯博士毕业后，战争阴云已布满欧洲上空。
917469-大学计算机基础-图灵奖获得者
1.图灵奖简介图灵奖最早设立于1966年，是美国计算机协会在计算机技术方面所授予的最高奖项，被喻为计算机界的诺贝尔奖。
它是以英国数学天才Alan Turing先生的名字命名的，Alan Turing先生对早期计算的理论和实践做出了突出的贡献。
图灵奖主要授予在计算机技术领域做出突出贡献的个人。
而这些贡献必须对计算机业有长远而重要的影响。
迄今为止已有34位在计算机领域做出突出贡献的科学家获此殊荣。
1966年，A.J.Perlis因其在新一代编程技术和编译架构方面的贡献成为图灵奖的第一个得主。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。
任何人都可成为提名人。
美国计算机协会将组成评选委员会对被提名者进行严格的审核，并最终确定当年的获奖者。
2．历届图灵奖获得者1．1966年图灵奖获得者：艾伦•佩利（A.J.Perlis）PhD,MIT;Prof,Yale(was Prof at CMU)(deceased)——ALCOL语言和计算机科学的“催生者”2．1967年图灵奖获得者：莫里斯•威尔克斯（Maurice V.Wilkes）PhD,Cambridge;Prof,Cambridge——世界上第一台存储程序式计算机EDSAC的研制者3．1968年图灵奖获得者：理查德•哈明（Richard W.Hammin）Prof,Naval Postgraduate School(was at Bell)(deceased)——发明纠错码的大数学家和信息学专家4．1969年图灵奖获得者：马文•明斯基（Marvin Minsky）PhD,Princeton,Prof,MIT——“人工智能之父”和框架理论的创立者5．1970年图灵奖获得者：詹姆斯•威尔金森（J.H.Wilkinson）BS,Cambridge;staff,National Physical Laboratory,London——数值分析专家和研制ACE计算机的功臣6．1971年图灵奖获得者：约翰•麦卡锡（John McCarthy）PhD,Princeton;Prof,Stanford——“人工智能之父”和LISP语言的发明人7．1972年图灵奖获得者：埃德斯加•狄克斯特拉（Edsger W.Dijkstra）PhD,U Amsterdam;Prof,UT Austin——最先察觉“goto有害”的计算机科学大师8．1973年图灵奖获得者：查尔斯•巴赫曼（Charles W.Bachman）staff,Honeywell——“网状数据库之父”9．1974年图灵奖获得者：唐纳德•克努（Donald E.Knuth）PhD,Caltech;Prof,Stanford——经典巨著《计算机程序设计的艺术》的年轻作者10．1975年图灵奖获得者：赫伯特•西蒙和艾伦•纽厄尔Allen Newell---PhD,Stanford;Prof,CMU(deceased)Herbert A.Simon---PhD,Chicago;Prof,CMU(deceased)——人工智能符号主义学派的创始人11．1976年图灵奖获得者：米凯尔•拉宾和达纳•斯科特Michael O.Rabin---PhD,Princeton;Prof,HarvardDana S.Scott---PhD,Princeton;Prof,CMU——非确定性有限状态自动机理论的开创者12．1977年图灵奖获得者：约翰•巴克斯（John Backus）BS,Columbia;staff,IBM——FORTRAN和BNF的发明者13．1978年图灵奖获得者：罗伯特•弗洛伊德（Robert W.Floyd）BS,Chicago;Prof,Stanford——前后断言法的创始人14．1979年图灵奖获得者：肯尼思•艾弗森（Kenneth E.Iverson）——大器晚成的科学家，APL的发明人15．1980年图灵奖获得者：查尔斯•霍尔（C.Anthony R.Hoare）Prof,Oxford(now at Microsoft)——从QUICKSORT、CASE到程序设计语言的公理化16．1981年图灵奖获得者：埃德加•科德（Edgar F.Codd）PhD,Michigan;staff,IBM——“关系数据库之父”17．1982年图灵奖获得者：斯蒂芬•库克（Steven A.Cook）PhD,Harvard;Prof,U Toronto——NP完全性理论的奠基人18．1983年图灵奖获得者：肯尼思•汤普森和丹尼斯•里奇Ken Thompson---MS,Berkeley;staff,Bell-LabsDennis M.Ritchie---PhD,Harvard;staff,Bell-Labs——C和UNIX的发明者19．1984年图灵奖获得者：尼克劳斯•沃思（Niklaus Wirth）PhD,Berkeley;Prof,ETH Zurich——PASCAL之父及结构化程序设计的首创者20．1985年图灵奖获得者：理查德•卡普（Richard M.Karp）PhD,Harvard;Prof,Berkeley——发明“分枝限界法”的三栖学者21．1986年图灵奖获得者：约翰•霍普克洛夫特和罗伯特•陶尔扬John E.Hopcroft---PhD,Stanford;Prof,CornellRobert E.Tarjan---PhD,Stanford;Prof,Princeton——硕果累累的算法设计大师22．1987年图灵奖获得者：约翰•科克（John Cocke）staff,IBM——RISC概念的首创者23．1988年图灵奖获得者：伊万•萨瑟兰（Ivan E.Sutherland）IPhD,MIT;staff,Sun——计算机图形学之父24．1989年图灵奖获得者：威廉•卡亨（William V.Kahan）PhD,U Toronto;Prof,Berkeley——浮点计算的先驱25．1991年图灵奖获得者：罗宾•米尔纳（Robin Milner）Prof,Cambridge(was at U Edinburgh)PhD,MIT;Prof,MIT——标准元语言ML的开发者26．1992年图灵奖获得者：巴特勒•兰普森（Butler Lampson）PhD,Berkeley;staff,Microsoft——从Alto系统的首席科学家到微软的首席技术官27．1993年图灵奖获得者：尤里斯•哈特马尼斯和理查德•斯特恩斯PhD,Caltech;Prof,CornellRichard E.Stearns---PhD,Princeton;Prof,SUNY Albany——计算复杂性理论的主要奠基人28．1994年图灵奖获得者：爱德华•费根鲍姆和劳伊•雷迪Raj Reddy---PhD,Stanford;Prof,CMUEdward Feigenbaum(PhD,CMU;Prof,Stanford)——大型人工智能系统的开拓者29．1995年图灵奖获得者：曼纽尔•布卢姆（Manuel Blum）PhD,MIT;Prof,Berkeley——计算复杂性理论的主要奠基人之一30．1996年图灵奖获得者：阿米尔•伯努利（Amir Pnueli）PhD,Weizmann Institute;Prof,NYU——把时态逻辑引入计算机科学31．1997年图灵奖获得者：道格拉斯•恩格尔巴特（Douglas Engelbart）PhD,Berkeley;staff,SRI——鼠标器的发明人和超文本研究的先驱32．1998年图灵奖获得者：詹姆斯•格雷（James Gray）PhD,Berkeley;staff,Microsoft——数据库技术和“事务处理”专家33．1999年图灵奖获得者：弗雷德里克•布鲁克斯（Frederick P.Brooks,Jr.）PhD,Harvard;Prof,UNC——IBM360系列计算机的总设计师和总指挥34．2000年图灵奖获得者：姚期智（Andrew Chi-Chih Yao）PhD,UIUC;Prof,Princeton(now at清华)——对计算理论做出了诸多“根本性的、意义重大的”贡献图灵奖自创立以来获得该奖项的首位华裔学者35．2001年图灵奖获得者：Ole-Johan DahlKristen Nygaard---Profs,U Oslo——在设计编程语言SIMULA I和SIMULA67时产生的基础性想法是面向对象技术的肇始。
图灵奖
图灵奖简介图灵奖（A.M. Turing Award，又译“杜林奖”），由美国计算机协会（ACM）于1966年设立，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。
其名称取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。
由于图灵奖对获奖条件要求极高，评奖程序又是极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。
因此它是计算机界最负盛名、最崇高的一个奖项，有“计算机界的诺贝尔奖”之称。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。
任何人都可成为提名人。
美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者图灵奖对获奖者的要求极高，评奖程序极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名在同一方向上做出贡献的科学家同时获奖。
因此，尽管“图灵”的奖金数额不算高，但它却是计算机诺贝尔奖”之称。
美国计算机协会1966年图灵奖获得者美国科学家艾伦·佩利(Alan J.Perlis)：ALGOL语言和计算机科学的“催生者”。
获奖演说“算法系统的综合”（The Sy nthesis of AlgorithmicSy stem）。
1967年图灵奖获得者英国科学家莫里斯·威尔克斯(Maurice V.Wilkes)：世界上第一台存储程序式计算机EDSAC的研制者。
获奖演说“计算机的过去和现在”（ComputerThen and Now）。
1968年图灵奖获得者美国科学家理查德·汉明(RichardW.Hamming)：发明了纠错码——汉明码（HammingCode）。
获奖演说“对计算机科学的看法”（On Man‟s View of ComputerScience）。
1969年图灵奖获得者美国科学家马文·明斯基(Marv in L.Minsky)：“人工智能之父”，知识的框架理论（Frame Theory）创立者。
三位在数据库领域作出杰出贡献的图灵奖获得者简介
三位在数据库领域作出杰出贡献的图灵奖获得者简介2010-12-08 17:25图灵奖最早设立于1966年，是美国计算机协会在计算机技术方面所授予的最高奖项，被喻为计算机界的诺贝尔奖。
它是以英国数学天才Alan Turing先生的名字命名的，Alan Turing先生对早期计算的理论和实践做出了突出的贡献。
图灵奖主要授予在计算机技术领域做出突出贡献的个人。
而这些贡献必须对计算机技术有长远而重要的影响。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。
任何人都可成为提名人。
美国计算机协会将组成评选委员会对被提名者进行严格的审核，并最终确定当年的获奖者。
迄今为止已有3位在数据库领域做出突出贡献的科学家获此殊荣。
查尔斯·巴赫曼20世纪60年代中期以来，数据库技术的形成、发展和日趋成熟，使计算机数据处理技术跃上了一个新台阶，并且极大的推动了计算机的普及与应用。
因此，1973年的图灵奖首次授予在这方面作出杰出贡献的数据库先驱查尔斯·巴赫曼（Charles W.Bachman）。
巴赫曼1924年12月11日生于堪萨斯州的曼哈顿。
1948年在密歇根州立大学取得工学学士学位，1950年在宾夕法尼亚大学取得硕士学位。
20世纪50年代在Dow 化工公司工作，1961－1970年在通用电气公司任程序设计部门经理，1970－1981年在Honeywell公司任总工程师，同时兼任Culllinet软件公司的副总裁和产品经理。
1983年巴赫曼创办了自己的公司Bachman Information System，Inc.。
巴赫曼在数据库方面的主要贡献有两项，第一就是在通用电气公司任程序设计部门经理期间，主持设计与开发了最早的网状数据库管理系统IDS。
IDS于1964年推出以后，成为最受欢迎的数据库产品之一，而且它的设计思想和实现技术被后来的许多数据库产品所仿效。
计算机图灵奖
坚守与执著——记图灵奖得主托尼〃霍尔通过这一段时间对图灵奖的了解，我逐渐意识到图灵奖在计算机领域的重大意义，”它是计算机界最负盛名、最崇高的一个奖项，有“计算机界的诺贝尔奖”之称“。
同时，自己也对夺得皇冠上明珠的科学家们的敬佩与日俱增，他们的每一份成功背后都有一个传奇的历程或故事，而每一个传奇都值得我们后辈们深思。
我想介绍的是霍尔先生，他的研究生涯充满转折，内心平静如水。
托尼〃霍尔（Tony Hoare）这位微软剑桥研究院首席研究员、1980年图灵奖获得者，第一个学位却是文科。
1952年霍尔还在上学时，就对哲学产生了兴趣。
进入牛津大学后，霍尔选择的专业是哲学、古典语言与文学（拉丁语和希腊语）。
这个专业看起来与计算机完全不搭界，可是有一种前景着实让他着迷：计算机研究可能会对有关人类认知和智能，尤其是数学真理性质的哲学问题带来启发。
所以，这个纯文科生就对逻辑和计算机也产生了兴趣。
机缘巧合，霍尔在莫斯科国立大学进行了为期一年的机器翻译研究。
其间，他参加了一个俄英文自动翻译的新项目，这个项目采用了一种基于图灵机设计的早期计算机。
读书时无意中学到的本领帮了他的大忙。
在牛津学过计算机编程课程的霍尔，开始思考如何让计算机来完成这项工作。
他想到的第一种排序方法就让完成任务速度提高了4倍，而第二种方法要快得多。
这种方法就是大名鼎鼎的“快速排序算法”。
直到这种算法语言出版后，霍尔才意识到：自己在从事研究工作！这段经历使得霍尔的兴趣转向计算机。
1960年，他作为程序员加入Elliott Brothers公司，领导开发了经典编程语言Algol60的早期编译器。
后来，图灵奖桂冠花落霍尔。
在不少人看来，获得这个计算机界最高大奖后，他们的个人事业都达到了顶峰，不需要再继续前进了。
可是获奖者们不这么看，低调的英国人霍尔干脆只是告诉家里人：“我要去美国领一个奖项。
”自定义学术生涯始于1968年的霍尔，在奋斗12年后获得图灵奖，此后学术生涯又持续了19年。
图灵奖获得者简介
约翰 .麦卡锡 (John McCarthy)(2/2)
发明α- β 剪枝算法 1959年开发LISP 开创逻辑程序研究，用于程序验证和自动程序设 计 1971年获得图灵奖
道格拉斯.恩格尔巴特 (Douglas Engelbart)
• • • • 鼠标的发明人 超文本研究的先驱 1925年出生于美国俄勒冈州 60年代提出了计算机是人类智力 的放大器的观点 • 1964年发明鼠标，67申请专利，70年取得专利 • 对超文本技术作出了巨大贡献，以他的名字命名 ACM 超 文本会议最佳论文奖。 • 1997年获得图灵奖。
图灵奖获得者
目录
• • • • • • • • • 阿伦· 图灵 马文.明斯基 约翰 .麦卡锡 赫伯特.西蒙 艾伦.纽厄尔 理查德.卡普 爱德华.费根堡姆 劳伊.雷迪 道格拉斯.恩格尔巴特
阿伦· 图灵 （AlanTuring）
• 1912年出生于伦敦，1954年去世 • 1936年发表论文“论可计算数及其在判定 问题中的应用”，提出图灵机理论 • 1950年发表论文“计算与智能”，阐述了 计算机可以具有智能的想法，提出图灵测 试。 • 1966年为纪念图灵的杰出贡献，ACM设立 图灵奖
爱德华.费根堡姆 (EdwardAlbert Feigenbaum)(1/2) • • • • 知识工程的提出者 大型人工智能的开拓者 1936年出生于美国的新泽西州 通过实验和研究，证明了智能 行为的主要手段是知识 • 1977年提出知识工程，使人工智能从理论转向应 用
图灵及图灵奖
本文内容：1. 图灵生平2. 图灵奖简介3. 历届图灵获得者1．图灵生平阿兰.图灵（Alan Turing）1912年生于英国伦敦，1954年死于英国的曼彻斯特，他是计算机逻辑的奠基者，许多人工智能的重要方法也源自于这位伟大的科学家。
他对计算机的重要贡献在于他提出的有限状态自动机也就是图灵机的概念，对于人工智能，它提出了重要的衡量标准"图灵测试"，如果有机器能够通过图灵测试，那他就是一个完全意义上的智能机，和人没有区别了。
他杰出的贡献使他成为计算机界的第一人，现在人们为了纪念这位伟大的科学家将计算机界的最高奖定名为"图灵奖"。
在中学时，他在科学方面的才能就已经显示出来，这种才能仅仅限于非文科的学科上，他的导师希望这位聪明的孩子也能够在历史和文学上有所成就，但是都没有太大的建树。
少年图灵感兴趣的是数学等学科。
在加拿大他开始了他的职业数学生涯，在大学期间这位学生似乎对前人现成的理论并不感兴趣，什么东西都要自己来一次。
大学毕业后，他前往美国普林斯顿大学也正是在那里，他制造出了以后称之为图灵机的东西。
图灵机被公认为现代计算机的原型，这台机器可以读入一系列的零和一，这些数字代表了解决某一问题所需要的步骤，按这个步骤走下去，就可以解决某一特定的问题。
这种观念在当时是具有革命性意义的，因为即使在50年代的时候，大部分的计算机还只能解决某一特定问题，不是通用的，而图灵机从理论上却是通用机。
在图灵看来，这台机器只用保留一些最简单的指令，一个复杂的工作只用把它分解为这几个最简单的操作就可以实现了，在当时他能够具有这样的思想确实是很了不起的。
他相信有一个算法可以解决大部分问题，而困难的部分则是如何确定最简单的指令集，怎么样的指令集才是最少的，而且又能顶用，还有一个难点是如何将复杂问题分解为这些指令的问题。
二战时，图灵在英国通信部工作，他运用他的专业技能破译德国密码，这在当时十分不容易，因为德国人开发出一种用于计算的机器称为Enigma，它能够定期将密码改变，让破译者根本摸不到头绪。
直到2008年,利斯科夫获得了计算机界的“诺贝尔奖”——图灵奖,计算机界
直到2008年,利斯科夫获得了计算机界的“诺贝尔奖”——图灵奖,计算机界答案：芭芭拉·利斯科夫（Barbara Liskov）是美国第一个计算机科学女博士，也是2008年图灵奖得主，她一生致力于程序设计的研究，研究成果给计算机编程领域带来了巨大的变革，极大地推动了计算机行业的发展。
美国第一个计算机科学女博士利斯科夫于1939年出生在美国洛杉矶，1961年在加州大学伯克利分校取得学士学位。
读书期间，利斯科夫是班里100名同学中仅有的两名女生之一，勤奋好学的她不顾周遭的眼光修完了所有和数学、科学相关的课程。
毕业后，利斯科夫进入哈佛大学工作成为一名程序媛，方向是自然语言翻译，难度比她预想中的大得多。
之后，她向斯坦福大学申请读研究生，师从1971年图灵奖得主约翰·麦卡锡（John McCarthy）教授。
1968年，利斯科夫以一篇题为《一个可以处理国际象棋残局的计算机程序》的论文获得博士学位，成为美国有史以来第一个计算机科学女博士。
从被MIT拒绝到主动邀请博士毕业后，利斯科夫先向麻省理工学院（MIT）发去求职申请，但得到的反馈无法给予教职。
紧接着她进入MITRE公司工作，公司让她到研究部门从事计算机操作系统的开发，她开始深入的研究编程方法。
利斯科夫领导研究小组开发出了一个交互式的小型分时操作系统“维纳斯（Venus）”。
1971年，利斯科夫基于Venus的开发经验撰写了一篇论文，被“操作系统原理学术讨论会”所录用，并被安排在一个分组讨论会上报告，在学术界引起不小的关注。
主持分组讨论的是MIT的杰瑞·萨尔茨（Jerry Saltzer），他非常欣赏利斯科夫表现出来的对计算机的深刻理解和探索精神，极力动员利斯科夫到MIT工作。
1972年，利斯科夫进入MIT工作，成为整个MIT的第二位女教授、计算机系的第一位女教授，主管研究工作。
改变编程的女教授上个世纪50年代，goto语句由于语法简单而被广泛运用到实际操作中去。
数据库图灵奖获得者介绍
詹姆斯·格雷—主要经历
在DEC，他仍然主要负责数据库产品的技术。格雷进入数 据库领域时，关系数据库的基本理论已经成熟，但各大公 司在关系数据库管理系统（RDBMS）的实现和产品开发中， 都遇到了一系列技术问题，主要是在数据库的规模愈来愈 大，数据库的结构愈来愈复杂，又有愈来愈多的用户共享 数据库的情况下，如何保障数据的完整性（Integrity）、 安全性（Security）、并发性（Concurrency），以及一旦 出现故障后，数据库如何实现从故障中恢复（Recovery）。 这些问题如果不能圆满解决，无论哪个公司的数据库产品 都无法进入实用，最终不能被用户所接受。正是在解决这 些重大的技术问题，使DBMS成熟并顺利进入市场的过程 中，格雷以他的聪明才智发挥了十分关键的作用。
埃德加·科德—主要成就
在数据库技术发展的历史上，1970年是发生伟大转折的 一年。这一年的6月，IBM圣约瑟研究实验室的高级研究员 埃德加·科德（Edgar Frank Codd）在Communications of ACM上发表了题为“用于大型共享数据库的关系数据模型” 一文。 ACM后来在1983年把这篇论文列为从1958年以来的四 分之一个世纪中具有里程碑式意义的最重要的25篇研究论 文之一，因为它首次明确而清晰地为数据库系统提出了一 种崭新的模型即关系模型。
图灵奖
查尔斯·巴赫曼
20世纪60年代中期以 来，数据库技术的形成、 发展和日趋成熟，使计 算机数据处理技术跃上 了一个新台阶，并且极 大的推动了计算机的普 及与应用。因此，1973 年的图灵奖首次授予在 这方面作出杰出贡献的 数据库先驱查尔斯·巴赫 查尔斯· 查尔斯 曼（Charles W.Bachman）。
查尔斯·巴赫曼
主要成就 ：巴赫曼在数据库方面的主要贡献有两项
历届图灵奖获得者及获得原因
获奖原因：程序设计语言的定义与设计。
主要成就：快速排序算法、霍尔逻辑、交谈循序程式。
古典文明研究：1956年，在牛津大学墨顿学院取得西洋古典学学士学位。
6.丹尼斯·里奇(1941-9-9~2011-10-12)美国计算机科学家，C语言之父，UNIX之父，1983年与肯·汤普逊一起获得了图灵奖。
4.肯尼斯·艾佛森（1920-12-17~2004-10-19）美国计算机科学家，1979年获得图灵奖.
获奖原因：程序设计语言和数学符号，互动系统的设计，运用APL进行教学，程序设计语言的理论与实践。
主要成就：数学表达式和编程语言理论。
哈弗之助教：在哈佛大学当助理教授时，他发展了一套数学表达式来操作阵列，以便教授学生。
人民爱戴：一直活跃于挪威政坛，并曾任威左翼非社会主义政党Venstre的执行委员会成员，该党战略委员会主席。他一生获得无数荣誉，深受挪威人民爱戴。
10.奥利-约翰·达尔（Ole-JohanDahl，1931-10-12~2002-1-29）挪威计算机科学家，2001年与克利斯登·奈加特获得图灵奖。
获奖原因：面向对象编程。
历届图灵奖获得者及获得原因
1.艾兹格·迪科斯彻（1930-5-11~2002-8-6）荷兰计算机科学家，1972年获得图灵奖。
获奖原因：程序设计语言的科学与艺术，
主要成就：提出“goto有害论”，提出信号量和PV原语，解决了“哲学家聚餐”问题，最短路径算法和银行家算法的创造者，第一个Algol60编译器的设计者和实现者，THE操作系统的设计者和开发者。
迪科斯彻的名言：“有效的程序员不应该浪费很多时间用于程序调试，他们应该一开始就不要把故障引入。”“程序测试是表明存在故障的非常有效的方法，但对于证明没有故障，调试是很无能为力的。”
历届图灵奖获得者
历届图灵奖获得者(1966-2010)图灵奖最早设立于1966年，是美国计算机协会在计算机技术方面所授予的最高奖项,被喻为计算机界的诺贝尔奖.它是以英国数学天才AlanTuring先生的名字命名的,AlanTuring先生对早期计算的理论和实践做出了突出的贡献.图灵奖主要授予在计算机技术领域做出突1969MarvinMinsky---PhD,Princeton,Prof,MIT因对人工智能的贡献被授予图灵奖.1970J.H.Wilkinson---BS,Cambridge;staff,NationalPhysicalLaboratory,London因在利用数值分析方法来促进高速数字计算机的应用方面的研究而获奖.1971JohnMcCarthy---PhD,Princeton;Prof,Stanford因对人工智能的贡献被授予图灵奖.1972EdsgerW.Dijkstra---PhD,UAmsterdam;Prof,UTAustin因在编程语言方面的出众表现而获奖.1977JohnBackus---BS,Columbia;staff,IBM 因对可用的高级编程系统设计有深远和重大的影响而获奖.1978RobertW.Floyd---BS,Chicago;Prof,Stanford因其在软件编程的算法方面的影响，并开创了包括剖析理论、编程语言的语义、自动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖.1979KennethE.Iverson因对程序设计语言理论、互动式系统及APL的贡献被授予该奖.1980C.AnthonyR.Hoare---Prof,Oxford(nowatMicrosoft)因对程序设计语言的定义和设计所做的贡献而获奖.快速排序算法发1985RichardM.Karp---PhD,Harvard;Prof,Berkeley因对算法理论的贡献而获奖.1986JohnE.Hopcroft---PhD,Stanford;Prof,CornellandRobertE.Tarjan---PhD,Stanford;Prof,Princeton因在算法及数据结构的设计和分析中所取得的决定性成果而获奖.1987JohnCocke---staff,IBM因在面向对象的编程语言和相关的编程技巧方面的贡献而获奖.1988IvanE.Sutherland---PhD,MIT;staff,Sun因在计算机图形学方面的贡献而获奖.1989WilliamV.Kahan---PhD,UToronto;Prof,Berkeley1994RajReddy---PhD,Stanford;Prof,CMU和EdwardFeigenbaum(PhD,CMU;Prof,Stanford)因对大型人工智能系统的开拓性研究而获奖.1995ManuelBlum---PhD,MIT;Prof,Berkeley因奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献而获奖.1996AmirPnueli---PhD,WeizmannInstitute;Prof,NYU因在计算中引入Temporal逻辑和对程序及系统检验的贡献被获奖.1997DouglasEngelbart---PhD,Berkeley;staff,SRI因提出互动式计算概念并创造出实现这一概念的重要技术而获奖.t:PhD,Stanford;MITAdiShamir:PhD,Weizmann;Weizmann LeonardM.Adelman:PhD,Berkeley;USC因他们在公共密匙算法上所做的杰出贡献(RSA算法是当前在互联网传输、银行以及信用卡产业中被广泛使用的安全基本机制).2003AlanKay---PhD,Utah;HPLabs(wasatXeroxPARC)因发明第一个完全面向对象的动态计算机程序设计语言Smalltalk.2004VintonG.Cerf、RobertE.Kahn获奖原因：由于在互联网方面开创性的工作，这包括设计和实现了互联网的基础通讯协议，TCP/IP，以及在网络方面卓越的领导。
图灵奖
图灵奖求助编辑百科名片图灵奖（A.M. Turing Award，又译“杜林奖”），由美国计算机协会（ACM）于1966年设立，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。
其名称取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。
由于图灵奖对获奖条件要求极高，评奖程序又是极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。
因此它是计算机界最负盛名、最崇高的一个奖项，有“计算机界的诺贝尔奖”之称。
目录概况图灵奖获得者图灵简介生平成就荣誉著作部分获奖者介绍程序设计语言的先驱开拓者和一批大师计算机科学家Dijkstra“人工智能”的创始人和开拓者其他方面的图灵奖获得者概况图灵奖获得者图灵简介生平成就荣誉著作部分获奖者介绍程序设计语言的先驱开拓者和一批大师计算机科学家Dijkstra“人工智能”的创始人和开拓者其他方面的图灵奖获得者展开编辑本段概况奖金金额不算太高，设奖初期为2万美元，1989年起增到2万5千美元，奖金通常由计算机界的一些大企业提供（通过与ACM签订协议）。
目前图灵奖由英特尔公司和google 公司赞助，奖金为250,000美元。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。
任何人都可成为提名人。
美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。
从1966年到2009年的44届图灵奖，共计有56名科学家获此殊荣，其中美国学者最多，此外还有英国、瑞士、荷兰、以色列,中国（姚期智）等国少数学者。
截止至2009年，获此殊荣的华人仅有一位，他是2000年图灵奖得主姚期智。
编辑本段图灵奖获得者2010年莱斯利·瓦伦特Leslie Valiant 对众多计算理论所做的变革性的贡献编辑本段图灵简介生平英国著名学者阿兰·麦席森·图灵（Alan Mathison Turing）不阿兰·麦席森·图灵仅以“纸上下棋机”率先探讨了下棋与机器智能的联系，他还是举世公认的“人工智能之父”。
1991年 2000年图灵奖获得者
子图片
密码系统和程序检验先驱，计算复杂性理论的主要奠基人之一，第三 十届（1995年）图灵奖得主。Blum是卡内基梅隆大学计算机科学教授，也 是世界上理论计算机学大师。他被选举成为美国国家科学院（National Academy of Sciences）的成员，这对于任何一位美国的科学家或是工程 师来说都是最高的荣誉。
罗宾·米尔纳（Robin Milner），英国计算机科学家。生于1934年1 月13日，1991年获得世界计算机领域最高奖“图灵奖”。在计算机程序设 计语言方面，米尔纳和戈顿等人一起提出了形式化逻辑系统的数学模型， 实现了他称之为LCF的一个系统——“可计算函数的逻辑”。另一方面的 贡献是关于并发计算（concurrent computing）和并行计算（parallel computing）。
父亲是波兰移民至美国的分析化学家，母亲是乌克兰人，他们生有三 个孩子：爱德华、米切尔和Glenda。爱德华有著神童的一切特质，米切尔 却非。
爱德华·费根鲍姆并不享受他的中小学生活。他在12岁时自学钢琴， 高中时自学微积分。他又从父亲的朋友得到一部有交换线路的机器和一份 由克劳德·艾尔伍德·香农所写、关于布林逻辑的论文。这些东西都令费 根鲍姆着迷。
图灵奖的三位获奖人资料
1973 年 。 第八位 图 灵 奖 (1972年 ) 获 得 者 。
图 灵 奖 引 用 (Turing Award Citation) ：
Citation
For his outstanding contributions to database technology.
但是，初期的数据处理软件只有文件管理(file management) 这种形式，数据文件和应用程序一一对应，造成数据冗余， 数据不一致性和数据依赖(data dependence)。所谓数据依赖 就是编写程序依赖于具体数据，拿COBOL这种常用的商用 语言来说吧，程序员必须在数据部的文件节（DATA DIVISION，FILE SECTION）中详细说明文件中各数据项 的类型和长度、格式，在设备部的输入—输出节 (ENVIRONMENT DIVISION, INPUT-OUTPUT SECTION) 中还要通过SELECT语句和ASSIGN语句把文件和具体设备 联系起来，并使用ORGANIZATION语句和ACCESS MODE语句严格规定文件的组织方式和存取方式。根据这 些具体规定，程序员再在过程部（PROCEDUR DIVISION） 中用一系列命令语句导航，才能使系统完成预期的数据处 理任务。应用程序与数据的存储、存取方式密切相关这种 状况给程序的编制、维护都造成很大的麻烦。
后来出现了文件管理系统FMS（File Management System） 作为应用程序和数据文件之间的接口，一个应用程序通过 FMS可以和若干文件打交道，在一定程度上增加了数据处 理的灵活性。但这种方式仍以分散、互相独立的数据文件 为基础，数据冗余、数据不一致性、处理效率低等问题仍 不可避免。这些缺点在较大规模的系统中尤为突出。以美 国在20世纪60年代初制定的阿波罗登月计划为例，阿波罗 飞船由约200万个零部件组成，它们分散在世界各地制造 生产。为了掌握计划进度及协调工程进展，阿波罗计划的 主要合约者Rock-well公司曾研制、开发了一个基于磁带的 零部件生产计算机管理系统，系统共用了18盘磁带，虽然 可以工作，但效率极低，18盘磁带中60%是冗余数据，维 护十分困难。这个系统的状况曾一度成为实现阿波罗计划 的重大障碍之一。
图灵奖得主的主要成就
·1995年获奖人：Manuel Blum（1938-） 获奖工作：计算复杂世理论，并应用于密码学 和程序检查，同时，他在自动控制理论、感应推论 方面享有很高声望。目前，他担任加州大学伯克莱 分校电子工程与计算科学系教授。 ·1996年获奖人：Amir Pnueli 获奖工作：把时态逻辑引入计算机科学，把它 作为开发反应式系统和并发式系统时进行规格说明 和验证的工具，取得了极大的成功，这些工作被认 为是软件工程中的一场革命。目前，他担任以色列 魏茨曼学院应用数学系教授。
·1981年获奖人：Edger F.Codd（1923-） 获奖工作：数据库管理系统的理论和实现，创立 了关系模型。
·1982年获奖人：Stephen A.Cook（1939-） 获奖工作：计算复杂性理论以及可行构造证明理 论的研究，为NP-完全性理论建立了基础。
2002-3-27 7
·1983 年获奖人： Dennis M.Ritchie （ 1941- ）、 Ken L.Thompson（1943-） 获奖工作：开发、实现了Unix操作系统、C语言。 他们两人是Unix操作系统和C语言的创始者和设计师。 ·1984年获奖人：Nliklaus E.Wirth（1934-） 获奖工作：设计制造了个人计算机，开发了一系列 有创新的计算机语方： Euler 、 Algol-W 、 Modula-2 、 Pascal ，特别是 Pascal 语言，为 Modula-2 设计了单遍 （single-pass）编译器。获奖后兴趣：操作系统环境、 工作站设计、处理器结构分析、程序设计基础。 ·1985年获奖人:Richard M.Karp（1935-） 获奖工作：复杂性理论，推广Stephen Cook的早期 工作。获奖后兴趣：组合算法和NP-完全性研究，撰写 有关组合算法的概率分析著作。
计算机文化基础系列常识-图灵奖获奖者介绍连载
计算机文化基础系列常识-图灵奖获奖者介绍连载（十四）罗伯特·弗洛伊德——前后断言法的创始人历届图灵奖得主基本上都有高学历、高学位，绝大多数有博士头衔。
这是可以理解的，因为创新型人才需要有很好的文化素养，丰富的知识底蕴，因而必须接受良好的教育。
但事情总有例外，1978年图灵奖获得者、斯坦福大学计算机科学系教授罗伯特·弗洛伊德(Robert W．Floyd)就是一位“自学成才的计算机科学家”(a Self-Taught Computer Scientist)。
弗洛伊德1936年6月8日生于纽约。
说他“自学成才”并不是说他没有接受过高等教育，他是芝加哥大学的毕业生，但学的不是数学或电气工程等与计算机密切相关的专业，而是文学，1953年获得文学士学位。
20世纪50年代初期美国经济不太景气，找工作比较困难，因学习文学而没有任何专门技能的弗洛伊德在就业上遇到很大麻烦，无奈之中到西屋电气公司当了二名计算机操作员，在IBM650机房值夜班。
我们知道，早期的计算机都是以批处理方式工作的，计算机操作员的任务就是把程序员编写好的程序在卡片穿孔机(这是脱机的辅助外部设备)上穿成卡片，然后把卡片叠放在读卡机上输入计算机，以便运行程序。
因此，操作员的工作比较简单，同打字员类似，不需要懂计算机，也不需要懂程序设计。
但弗洛伊德毕竟是一个受过高等教育的人，又是一个有心人，干了一段操作员，很快对计算机产生了兴趣，决心弄懂它，掌握它，于是他借了有关书籍资料在值班空闲时间刻苦学习钻研，有问题就虚心向程序员请教。
白天不值班，他又回母校去听讲有关课程。
这样，他不但在1958年又获得了理科学士学位，而且逐渐从计算机的门外汉变成计算机的行家里手。
1956年他离开西屋电气公司，到芝加哥的装甲研究基金会(Armour Research Foundation)，开始还是当操作员，后来就当了程序员。
1962年他被马萨诸塞州的Computer Associates公司聘为分析员。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
计算机文化基础系列常识-图灵奖获奖者介绍连载（十四）
罗伯特·弗洛伊德
——前后断言法的创始人历届图灵奖得主基本上都有高学历、高学位，绝大多数有博士头衔。
这是可以理解的，因为创新型人才需要有很好的文化素养，丰富的知识底蕴，因而必须接受良好的教育。
但事情总有例外，1978年图灵奖获得者、斯坦福大学计算机科学系教授罗伯特·弗洛伊德(Robert W．Floyd)就是一位“自学成才的计算机科学家”(a Self-Taught Computer Scientist)。
弗洛伊德1936年6月8日生于纽约。
说他“自学成才”并不是说他没有接受过高等教育，他是芝加哥大学的毕业生，但学的不是数学或电气工程等与计算机密切相关的专业，而是文学，
1953年获得文学士学位。
20世纪50年代初期美国经济不太景气，找工作比较困难，因学习文学而没有任何专门技能的弗洛伊德在就业上遇到很大麻烦，无奈之中到西屋电气公司当了二名计算机操作员，在IBM650机房值夜班。
我们知道，早期的计算机都是以批处理方式工作的，计算机操作员的任务就是把程序员编写好的程序在卡片穿孔机(这是脱机的辅助外部设备)上穿成卡片，然后把卡片叠放在读卡机上输入计算机，以便运行程序。
因此，操作员的工作比较简单，同打字员类似，不需要懂计算机，也不需要懂程序设计。
但弗洛伊德毕竟是一个受过高等教育的人，又是一个有心人，干了一段操作员，很快对计算机产生了兴趣，决心弄懂它，掌握它，于是他借了有关书籍资料在值班空闲时间刻苦学习钻研，有问题就虚心向程序员请教。
白天不值班，他又回母校去听讲有关课程。
这样，他不但在1958年又获得了理科学士学位，而且逐渐从计算机的门外汉变成计算机的行家里手。
1956年他离开西屋电气公司，到芝加哥的装甲研究基金会(Armour Research Foundation)，开始还是当操作员，后来就当了程序员。
1962年他被马萨诸塞州的Computer Associates公司聘为分析员。
1965年他应聘成为卡内基—梅隆大学的副教授，3年后转至斯坦福大学，1970年被聘任为教授。
之所以能这样快地步步高升，关键就在于弗洛伊德通过勤奋学习和深入研究，在计算机科学的诸多领域：算法，程序设计语言的逻辑和语义，自动程序综合，自动程序验证，编译器的理论和实现等方面都作出创造性的贡献。
其中包括：1962年，弗洛伊德完成了Algol 60编译器的开发，成功投入使用，这是世界上最早的Algol 60编译器之一，而且弗洛伊德在这个编译器的开发中率先融入了优化的思想，使编译所生成的目标代码占用空间少，运行时间短。
弗洛伊德优化编译的思想对编译器技术的发展产生了深刻的影响。
随后，他又对语法分析进行了系统研究，大家现在熟知的优先文法(precedence grammar)，限界上下文文法(bounded context grammar)等都是弗洛伊德在这个时期首先提出来的。
优先文法解决了自底向上的语法分析中的首要任务：如何找到“句柄”，也就是当前需要进行归约的符号串。
弗洛伊德通过对不同的符号定义不同的优先级，解决了这个问题。
限界上下文文法则通过对上下文无关文法G中的两个推导：
*
S→βArβαγ
+
S→δαε
进行比较以确定α是否是δαε的句柄，以及产生方式A→α是否是唯一可进行归约的产生式。
弗洛伊德经过研究，给出其充分必要条件为：β和δ的最后m个符号相同，丁和o／的最初n个终结符相同。
这样一个上下文无关文法G就称为(m，n)限界上下文文法。
在算法方面，弗洛伊德和威廉姆斯(J．Williams)在1964年共同发明了著名的堆排序算法HEAPSORT，这是与英国学者霍尔(C.A.R.Hoare，1980年图灵奖获得者)发明的QUICKSORT齐名的高效排序算法之一。
此外还有直接以弗洛伊德命名的求最短路的算法，这是弗洛伊德利用动态规划(dynamic programming)的原理设计的一个高效算法。
在程序设计方面，计算机科学家非常关心的一个重要问题是如何表达和描述程序的逻辑，如何验证程序的正确性。
1967年，在美国数学会AMS举行的应用数学讨论会上，弗洛伊德发表了那篇引起轰动并产生了深远影响的论文，即“如何确定程序的意义”(Assigning Meanings to Programs)。
这篇论文在程序逻辑研究的历史上，是继麦卡锡(J．McCarthy，1971年图灵奖获得者)在1963年提出用递归函数作为程序的模型这一方法以后最重大的一个进展。
麦卡锡倡导的方法对于一般程序，包括大型软件确实是行之有效的，但它有一个不足，即对于许多以命令方式编写的软件，其中包括赋值语句，条件语句，用While实现循环的语句……对这样的程序用递归定义的函数去证明其正确性就很不方便了。
正是为了解决这个问题，弗洛伊德在上述论文中提出了一种基于流程图的表达程序逻辑的方法。
这个方法的主要特点就是在流程图的每一弧线上放置一个“标记”(tag)，也就是一个逻辑断言，并且保证只要当控制经过这个弧线时该断言一定成立。
弗洛伊德的主要贡献在于解决了基于这种标记的形式系统的细节，证明了这种系统的完备性，解决了如何证明程序终结的问题。
弗洛伊德还引入了验证条件的概念，包括流程图的一个组成部分(方框、圆框等)及其人口和出口处的标记。
为了证明带标记的流程图的正确性，只要证明其中每一组成部分的验证条件成立就行了。
弗洛伊德提出的方法被叫做“归纳断言法”(inductive assertion method)，或前后断言法(pre·and post-assertion method)。
在框图每个断点i上所加的逻辑断言即标记就叫i点的归纳断言，说明程序执行经过此点时在各输入变量x和各程序变量丁之间应存在的关系，以谓词Pi(x,y)的形式表示。
若程序从断点i经过路段。
到下一断点j的验证条件以Ra(x，y)表示，丁的值在。
上的变化以ha(x，y)表示，则只要能证明下式恒真：（∨x）（∨y）[p i(x,y)∧R a(x,y) P j(x,h a(x,y))]
程序从i到j的部分正确性也就证明了。
虽然用归纳断言法不能证明程序的完全正确性，因为它必须以程序能够终结为前提，但由于弗洛伊德在论文中同时也考虑了如何证明程序终结的问题，因此弗洛伊德的归纳断言法也就有了普遍的意义。
弗洛伊德在同年发表于《ACM学报》(Journal of ACM)10月号上的另一篇论文中，还第一次把“不确定性”概念引入程序。
所谓“不确定性程序”(non deterministic program)就是根据操作规则有多种操作可供选择，而只选其中之一搜索下去的程序。
这对人工智能问题的研究具有十分重要的意义。
此外，弗洛伊德还和伊万斯(R．0．Evans，因设计世界上第一个类比推理程序Analogy而闻名于世的学者。
Analogy是可以判定几何图形是否类似的人工智能程序)一起设计了一种称为产生式语言的特殊的程序设计语言FPL(Floyd-Evans Production Language)，用来编写计算机语言的语法分析程序。
之所以称它为产生式语言，是因为用它编写的程序由一系列产生式(或称归约式)组成。
实际上，用FPL编好语法分析程序以后，如果再插入语义子程序，就可以构成一个完整的编译器。
用FPL语言编写的程序简称PP程序，由以下5个部分按自左至右顺序组成：1．标号(可有可无)；
2．栈顶符号串；
3．前看符号串(或称窗口符号串)；
4．归约符号；
5．语义动作。
执行一个PP程序的方法是：依次检视各PP的第三部分。
若某PP的第三部分和输入的前看符号串一致，则进一步检视此PP的第四部分，若非空，表示要进行归约，此时把它的第二部分和当前实际的栈顶符号串相比。
如果能匹配上，则实行归约，即删去实际的栈顶符号串，用第四部分代替之，然后执行第五部分的动作。
若此PP的第四部分为空，表示当前无归约可做，直接执行第五部分的动作即可。
弗洛伊德是1978年12月4日在华盛顿举行的ACM年会上接受图灵奖的。
他发表了题为“程序设计的风范”(The Paradigms of Programming)的演说。
演说全文刊于Communications of ACM，1979年8月，455-460页，也可见《前20年的ACM图灵奖演说集》(ACM Turing Award Lectures ——The First 20Years：1966—1985，ACM Pr．)，131—142页。
弗洛伊德在演说中对结构化程序设计，递归协同例程(recursive coroutine)，动态程序设计，基于规则的系统，状态变换机制(state-transition mechanism)等各种不同程序设计风范进行了比较，并介绍了自己在研究
工作中如何根据具体情况应用不同风范的例子，很给人以启示。
时间虽然已过去20多年，他的例子也许有些过时，但他的观点至今仍然是有效的。