917469-大学计算机基础-图灵奖获得者

合集下载

917457-大学计算机基础-阿兰图灵

917457-大学计算机基础-阿兰图灵

阿兰·图灵生平阿兰·图灵(Alan Turing)1912年生于英国伦敦,1954年死于英国的曼彻斯特,他是计算机逻辑的奠基者,许多人工智能的重要方法也源自于这位伟大的科学家。

他对计算机的重要贡献在于他提出的有限状态自动机也就是图灵机的概念,对于人工智能,它提出了重要的衡量标准“图灵测试”,如果有机器能够通过图灵测试,那他就是一个完全意义上的智能机,和人没有区别了。

他杰出的贡献使他成为计算机界的第一人,现在人们为了纪念这位伟大的科学家将计算机界的最高奖定名为“图灵奖”。

在中学时,他在科学方面的才能就已经显示出来,这种才能仅仅限于非文科的学科上,他的导师希望这位聪明的孩子也能够在历史和文学上有所成就,但是都没有太大的建树。

少年图灵感兴趣的是数学等学科。

在加拿大他开始了他的职业数学生涯,在大学期间这位学生似乎对前人现成的理论并不感兴趣,什么东西都要自己来一次。

大学毕业后,他前往美国普林斯顿大学也正是在那里,他制造出了以后称之为图灵机的东西。

图灵机被公认为现代计算机的原型,这台机器可以读入一系列的零和一,这些数字代表了解决某一问题所需要的步骤,按这个步骤走下去,就可以解决某一特定的问题。

这种观念在当时是具有革命性意义的,因为即使在20世纪50年代的时候,大部分的计算机还只能解决某一特定问题,不是通用的,而图灵机从理论上却是通用机。

在图灵看来,这台机器只用保留一些最简单的指令,一个复杂的工作只用把它分解为这几个最简单的操作就可以实现了,在当时他能够具有这样的思想确实是很了不起的。

他相信有一个算法可以解决大部分问题,而困难的部分则是如何确定最简单的指令集,怎么样的指令集才是最少的,而且又能顶用,还有一个难点是如何将复杂问题分解为这些指令的问题。

第二次世界大战时,图灵在英国通信部工作,他运用他的专业技能破译德国密码,这在当时十分不容易,因为德国人开发出一种用于计算的机器称为Enigma,它能够定期将密码改变,让破译者根本摸不到头绪。

历届图灵奖获奖者

历届图灵奖获奖者
艾伦·凯在1940年,艾伦·凯出生于麻省的Sprinfield。童年在澳 大利亚度过。二次大战时,回到美国,住在麻省海德莱城外的约翰逊农舍。 母亲是音乐家。1949年举家迁往长岛,1961年在丹佛讲解吉他课程学习Logo语言。为了发展 Dynabook,艾伦甚至发明了Smalltalk编程语言,Samlltalk吸取了 Simula的class的概念,并发展出图形使用者接口(GUI),即是苹果麦 金塔电脑的原型。1970年,鲍勃·泰勒成立PARC研究中心,艾伦·凯成为 第一个雇员,他建立学习研究工作组(LRC),并参与Alto计算机的开发。 1972年,PARC发布了Smalltalk的第一个版本。1979年,凯邀请乔布斯、 Jeff Raskin来到PARC参观,乔布斯对视窗图形用户界面印象深刻。
阿迪·萨莫尔(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图灵奖。

图灵奖资料——精选推荐

图灵奖资料——精选推荐

图灵奖资料原著:Y at-sen Channel 翻译:王茜2002年12月8日图灵奖“图灵奖”最早设立于1966年,是美国计算机协会在计算机技术方面所授予的最高奖项,被誉为“计算机界的诺贝尔奖”,主要授予那些在计算机技术领域做出突出贡献、对计算机产业发展有长远和重要影响的个人。

迄今为止已有36位科学家获此殊荣。

历届图灵奖获得者资料来源:Yat-sen Channel1966 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因在数据库和事务处理方面的突出贡献而获奖2000 姚期智(Andrew C.Yao)因为对计算理论做出了诸多“根本性的、意义重大的”贡献而获奖艾伦·图灵和图灵奖2003-12-22艾伦·麦席森·图灵(Alan Mathison Turing,1912年6月23日- 1954年6月7日),英国数学家。

915416-大学计算机基础第七版-知识拓展9-1:历届图灵奖获奖情况

915416-大学计算机基础第七版-知识拓展9-1:历届图灵奖获奖情况
CNRI公司
2005
PeterNaur
彼得·诺尔
因在定义Algol60程序设计语言方面的先驱性工作,对编译器设计的贡献、以及在计算机程序设计方面的贡献而获奖。
KøbenhavnsUniversitet
丹麦哥本哈根大学
2006
FrancesEAllen
弗朗西斯·阿伦
因为在编译器优化的理论和实践方面做出的开创性贡献而获奖。她的工作奠定了现代优化编译器和自动并行化执行的基础。
Stanford University
斯坦福大学
1975
AllenNewell
艾伦·纽厄尔
因在人工智能、认知科学、编目处理方面作出的基础性贡献而获奖。
Carnegie-MellonUniversity
卡内基梅隆大学
HerbertA.Simon
赫伯特·西蒙
1976
MichaelOserRabin
米凯尔·拉宾
CornellUniversity
康乃尔大学
RobertE.Tarjan
罗伯特·陶尔扬
PrincetonUniversity
普林斯顿大学
1987
JohnCocke
约翰·科克
因在编译、高性能计算机体系结构以及RISC的开发等方面的重要贡献而获奖。
IBM
1988
IvanEdwardSutherland
伊万·萨瑟兰
罗伯特·弗洛伊德
因在分析理论、程序设计语言的逻辑与语义、自动程序验证、自动程序综合、算法分析以及编译器方面的贡献而获奖。
StanfordUniversity
斯坦福大学
1979
KennethEugeneIverson
肯尼思·艾弗森

图灵奖简介

图灵奖简介

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. 图灵奖”,专门奖励那些对计算机事业作出重要贡献的个人。

其名称取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。

由于图灵奖对获奖条件要求极高,评奖程序又是极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。

因此它是计算机界最负盛名、最崇高的一个奖项,有“计算机界的诺贝尔奖”之称。

每年,美国计算机协会将要求提名人推荐本年度的图灵奖候选人,并附加一份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)创立者。

历届图灵奖得主简介ACM图灵奖1999计算机发展史的缩影

历届图灵奖得主简介ACM图灵奖1999计算机发展史的缩影

中国大学教学27书林撷英历届图灵奖得主简介———《ACM 图灵奖(1966—1999)———计算机发展史的缩影》○高等教育出版社刘建元康兆华计算机与计算技术可以说是20世纪最有影响的一门科学技术。

今天的信息技术、知识经济、电子商务、互联网络没有哪一项不是以计算机技术为基础的。

而获得过被誉为计算机界Nobel 奖———ACM 图灵奖的20世纪40位计算机科学家,正是影响计算机科学技术发展最有影响的杰出代表。

由高等教育出版社组织出版的《ACM 图灵奖(1966-1999)———计算机发展史的缩影》一书,逐一对历届图灵奖得主的生平、研究成果、科研和工作风格、创新思想、论著等作了详细介绍,并配有相应人物、事件的历史照片。

附录中还有“计算技术发展大事记”等。

在本书所介绍的40位图灵奖获得者当中,有不少人的工作对计算机产业的发展产生了深远的影响。

例如,明斯基与麦卡锡共同创建了世界上第一个人工智能实验室;巴赫曼主持设计与开发了最早的网状数据库管理系统,并推动与促成了数据库标准的制定;巴克斯发明了世界上第一个高级程序设计语言FORTR AN ,之后又首次提出了元语言“巴克斯范式”BNF ;科德首次明确而清晰地为数据库系统提出了关系模型;汤普森和里奇设计、开发了应用广泛和影响深远的操作系统UNIX 和程序设计语言C ;科克因主持IBM 801项目而成为RISC 概念的首创者,今天RISC 技术已成为计算机体系结构的主流技术;萨瑟兰开发成功著名的Sketchpad 系统,奠定了他作为“计算机图形学之父”的基础,他的工作对后来的计算机模拟技术、计算机辅助设计技术都产生了积极的影响;布鲁克斯主持与领导了被称为人类从原子能时代进入信息时代标志的IBM 360系列计算机的开发工作。

近年来信息产业的发展,及其对人们的生活、工作所产生的影响,对社会发展和国民经济所起的作用,都和这些计算机界先辈们的付出有着密不可分的联系。

这些计算机科学技术界的佼佼者所提出的一些具有前瞻性的设想或思路对我国的科技人员、学者和教育工作者有一定的启迪,虽然不能把他们的想法完全套用在我国的产业实践中,但是对其进行审慎地思考后进行有选择性地吸收,对生产技术的进步、人才的培养是大有裨益的。

计算机文化基础系列常识-图灵奖获奖者介绍连载

计算机文化基础系列常识-图灵奖获奖者介绍连载

计算机文化基础系列常识-图灵奖获奖者介绍连载(十四)罗伯特·弗洛伊德——前后断言法的创始人历届图灵奖得主基本上都有高学历、高学位,绝大多数有博士头衔。

这是可以理解的,因为创新型人才需要有很好的文化素养,丰富的知识底蕴,因而必须接受良好的教育。

但事情总有例外,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. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

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时产生的基础性想法是面向对象技术的肇始。

36.2002年图灵奖获得者:Ronald L.Rivest---PhD,Stanford;MITAdi Shamir---PhD,Weizmann;WeizmannLeonard M.Adelman---PhD,Berkeley;USC——在公共密匙算法上所做的杰出贡献(RSA算法是当前在互联网传输、银行以及信用卡产业中被广泛使用的安全基本机制)。

37.2003年图灵奖获得者:Alan KayPhD,Utah;HP Labs(was at Xerox PARC)——发明第一个完全面向对象的动态计算机程序设计语言Smalltalk.38.2004年图灵奖获得者:Vinton G.Cerf和Robert E.Kahn——在计算机网络领域的先锋性工作,包括设计和实现了TCP/IP协议栈39.2005年图灵奖获得者:Peter Naur——设计Algol60程序设计语言。

Algol60语言定义清晰,是许多现代程序设计语言的原型。

40.2006年图灵奖获得者:Fran Allen——对于优化编译器技术的理论和实践做出的先驱性贡献,这些技术为现代优化编译器和自动并行执行打下了基础。

41.2007年图灵奖获得者:Edmund M.Clarke、Allen Emerson和Joseph Sifakis——开发自动化方法检测计算机硬件和软件中的设计错误。

42.2008年图灵奖获得者:Barbara Liskov——编程语言和系统设计的实践与理论。

43.2009年图灵奖获得者:Charles Thacker——帮助设计、制造第一款现代PC。

44.2010年图灵奖获得者:Leslie Valiant——对众多计算理论所做的变革性的贡献。

45.2011年图灵奖获得者:Judea Pearl——人工智能46.2012年图灵奖获得者:Shafi Goldwasser、Silvio Micali——由于在密码学和复杂理论领域做出创举性工作。

47.2013年图灵奖获得者:Leslie Lamport——在提升计算机系统的可靠性及稳定性领域的杰出贡献。

相关文档
最新文档