图灵奖获得者名人简历

尤里斯·哈特马尼斯

尤里斯·哈特马尼斯

尤里斯·哈特马尼斯Hartmanis生于1928年7月7日于前苏联拉脱维亚(Latvia)共和国。二战后,Hartmanis移民到德国,并在University of Marburg获得其物理学士学位。然后Hartmanis移民美国,并从University of Kansas City(目前的University of Missouri-Kansas City)获得其应用数学的硕士学位。然后,1955年, Hartmanis从加州理工获得其数学博士学位。在通用电器(General Electric)研究实验室工作一段时间之后,1965年,Hartmanis称为康乃尔大学(Cornell)的教授,并工作到2001年5月退休。

威廉·卡亨

威廉·卡亨

严密、严谨、严格、追求更进一步是威廉·凯亨的一贯作风,也是他留给英特尔在不断研发新的计算机浮点运算技术道路上的一笔精神财富

史提芬·古克

史提芬·古克

斯蒂芬·库克(Stephen A. Cook)1961年从University of Michigan获得其学士学位,于1962年和1966年从哈佛大学分别获得其硕士与博士学位。1966年到1970年,Stephen在加州Berkeley分校担任助理教授职务。1970年,Stephen加盟多伦多大学并工作直到现在。他是NP完全性理论的奠基人,1971年发表Cook定理奠定了NP完全理论的基础而获1982年图灵奖。Cook是对计算复杂性理论有突出贡献的计算机科学家之一。在1998年加盟苹果电脑担任全球业务高级副总裁之前,Cook 先生曾任康柏 (Compaq) 企业材料副总裁,负责采购、管理康柏的产品存货。在这之前,Cook 先生是Intelligent Electronics 经销商部门的首席运营官。Cook 先生还曾在 IBM 供职12年之久,他在 IBM 最近的职务为北美业务执行主管,负责 IBM 的 Personal Computer Company 在北美和拉美的制造和分销运作。

斯蒂芬·库克

斯蒂芬·库克

斯蒂芬·库克是英格兰的一名运动员

马文·明斯基

马文·明斯基

马文·闵斯基(英语:Marvin Lee Minsky,1927年8月9日-),美国人工智能领域的科学家,麻省理工学院人工智能实验室的创始人之一,着有几部人工智能和哲学方面的作品。

米凯尔·拉宾

米凯尔·拉宾

米凯尔·拉宾于1931年9月1日在德国的布雷斯劳出生,毕业于布雷斯劳神学院教犹太历史和哲学专业,曾为以色列希伯莱大学教授。创造了非确定性有限状态自动机理论,获得了1976年度的图灵奖。

曼纽尔·布卢姆

曼纽尔·布卢姆

密码系统和程序检验先驱,计算复杂性理论的主要奠基人之一,第三十届(1995年)图灵奖得主。Blum是卡内基梅隆大学计算机科学教授,也是世界上理论计算机学大师。他被选举成为美国国家科学院(NationalAcademyofSciences)的成员,这对于任何一位美国的科学家或是工程师来说都是最高的荣誉。

罗纳德·李维斯特

罗纳德·李维斯特

罗纳德?李维斯特(Ronald L. Rivest)现任麻省理工学院(MIT)电子和计算机科学系Viterbi 讲座教授。他是MIT计算机和人工智能实验室的成员,并领导着其中的信息安全和隐私中心。1977年从斯坦福大学获得计算机博士学位。主要从事密码安全、计算机安全算法的研究,他发明了ISA KEY的算法,这个算法在信息安全中获得最大的突破,这一成果也使他在2002年得到图灵奖。他现在担任国家密码学会的负责人。

理查德·哈明

理查德·哈明

哈明1915年2月11日生于芝加哥。1937年在芝加哥大学获得数学学士学位,1939年在内布拉斯加大学获得硕士学位,接着又于1942年在伊利诺伊大学获得博土学位,成为一名数学专家。学成以后,他留校工作两年,然后转入肯塔基州位于俄亥俄河畔的路易斯维尔大学任教,两年后来到洛斯阿拉莫斯国家实验室,参与了着名的曼哈顿计划。但在那里哈明也只呆了两年,就又转到贝尔实验室工作。正是在这里,哈明遇到了他感兴趣和能发挥他特长的课题,也有一个适宜的工作环境,因此一千就是30年(1946—1976)。这期间,他曾长期担任贝尔实验室计算机科学部的主任。1976年他离开贝尔,到美国海军研究生院(Naval Postgraduate School,在加利福尼亚州的蒙特雷)工作,直到1997年82岁高龄时才退休,第二年1月7日去世,享年83岁。

詹姆斯·威尔金森

詹姆斯·威尔金森

詹姆斯·威尔金森(James Hardy Wilkinson,1919—1986),英国皇家学会院士、着名的数值分析专家,研制ACE计算机的功臣,在建造由图灵设计的ACE计算机中扮演了举足轻重甚至最关键的角色,获得了1970年的图灵奖。

理查德·卡普

理查德·卡普

理查德·卡普(Richard Karp)教授现任美国加州大学伯克利分校计算机科学讲座教授,美国科学院、美国工程院、美国艺术与科学院、欧洲科学院院士。因其在计算机科学领域的基础贡献曾获图灵奖、冯诺依曼奖、美国国家科学勋章、哈佛大学百年奖章等奖项,还担任美国科学院会刊(PNAS)等多个国际着名刊物编委。

约翰·麦卡锡

约翰·麦卡锡

1927年9月4日麦卡锡生于美国波士顿一个共产党家庭,父母的工作性质决定全家需不断搬迁,从波士顿迁到纽约,然后又到了洛杉矶。他因在人工智能领域的贡献而在1971年获得图灵奖。实际上,正是他在1955年的达特矛斯会议上提出了“人工智能”这个概念。

肯尼思·艾弗森

肯尼思·艾弗森

肯尼斯·艾佛森(Kenneth.E.Iverson,1920年12月17日-2004年10月19日),是一位计算机科学家,着作有《AProgrammingLanguage》(1962年)。

肯尼思·汤普森

肯尼思·汤普森

肯尼思·汤普森(KennethLaneThompson,1943年2月4日-),一般称之为KenThompson,为美国计算机科学学者,与丹尼斯·里奇同为1983年图灵奖得主。(图1 中左为肯尼思·汤普森,右为丹尼斯·里奇) 此外,汤普森还获得过肯尼思·汤普森杜林奖。

克利斯登·奈加特

克利斯登·奈加特

克利斯登?奈加特(Kristen Nygaard;1926年- 2002年),挪威计算机科学家,社会活动家,SIMULA-67语言的创始人,面向对象技术的先驱。出生于奥斯陆,曾获得冯?诺依曼奖和第36届图灵奖。

艾兹格·迪科斯彻

艾兹格·迪科斯彻

艾兹格·W·迪科斯彻 (Edsger Wybe Dijkstra,1930年5月11日~2002年8月6日)荷兰 计算机 科学家,毕业就职于荷兰Leiden大学,早年钻研物理及数学,而后转为计算学。曾在1972年获得过素有计算机科学界的诺贝尔奖之称的图灵奖,之后,他还获得过1974年 AFIPS Harry Goode Memorial Award、1989年ACM SIGCSE计算机科学教育教学杰出贡献奖、以及2002年ACM PODC最具影响力论文奖。

高德纳

高德纳

高德纳(Donald Ervin Knuth,1938年1月10日-),出生于密尔沃基,英文名直译为唐纳德?欧文?克努特,美国着名计算机科学家,斯坦福大学计算机系荣休教授。高德纳教授被誉为现代计算机科学的鼻祖,在计算机科学及数学领域发表了多部具广泛影响的论文和着作。他是《计算机程序设计艺术》的作者,他创造了算法分析的领域,在数个理论计算机科学的分支做出初步贡献,此外还是排版软件TEX和 字型设计系统Metafont的发明人。

弗雷德里克·布鲁克斯

弗雷德里克·布鲁克斯

弗雷德里克·布鲁克斯首届计算机先驱奖获奖者之一是资深计算机科学家弗雷德里克·布鲁克斯(FrederickPhillipsBrooks,Jr.)。布鲁克斯这个名字在中国知之者不多,但在美国却是大名鼎鼎的,因为他在20世纪60年代初只有29岁时就主持与领导了被称为人类从原子能时代进入信息时代的标志的IBM/360系列计算机的开发工作,取得辉煌成功,从而名噪一时。以后他作为硬件和软件的双重专家和出色的教育家始终活跃在计算机舞台上,在计算机技术的诸多领域中都作出了巨大的贡献。

阿米尔·伯努利

阿米尔·伯努利

阿米尔?伯努利(Amir Pnueli) ,1941年4月22日出生于以色列。在斯坦福大学和IBM Waston研究中心从事博士后的研究工作其间,Pnueli将研究工作方向转移到计算机科学领域。1999年,Pnueli加入美国纽约大学计算机科学系并出任教授。1996年授予Amir Pnueli 图灵奖,以表彰其在计算机科学中引入时序逻辑的开创性的研究工作,和其在编程语言和系统验证方面的突出贡献。

埃德加·科德

埃德加·科德

埃德加·弗兰克·科德(EdgarF.Codd,1923-2003)是密执安大学哲学博士,IBM公司研究员,被誉为“关系数据库之父”,并因为在数据库管理系统的理论和实践方面的杰出贡献于1981年获图灵奖。1970年,科德发表题为“大型共享数据库的关系模型”的论文,文中首次提出了数据库的关系模型。由于关系模型简单明了、具有坚实的数学理论基础,所以一经推出就受到了学术界和产业界的高度重视和广泛响应,并很快成为数据库市场的主流。20世纪80年代以来,计算机厂商推出的数据库管理系统几乎都支持关系模型,数据库领域当前的研究工作大都以关系模型为基础。

道格拉斯·恩格尔巴特

道格拉斯·恩格尔巴特

道格拉斯·恩格尔巴特(Dr. Douglas C. Engelbart,1925年1月30日-),美国发明家,瑞典人和挪威人后裔。最广为人知的是他发明了鼠标,另外他的小组是人机交互的先锋,开发了超文本系统、网络计算机,以及图形用户界面的先驱;并致力于倡导运用计算机和网络,来协同解决世界上日益增长的紧急而又复杂的问题。

莫里斯·威尔克斯

莫里斯·威尔克斯

莫里斯·文森特·威尔克斯爵士,FREng,FRS(Sir Maurice Vincent Wilkes,1913年6月23日-),英国计算机科学家。设计和制造了世界上第一台存储程序式电子计算机EDSAC,在“工程和软件等计算机领域都有许多开创性成果”。

丹尼斯·里奇

丹尼斯·里奇

丹尼斯·里奇(1941年9月9日—),出生于美国纽约。他是一位美国计算机科学家,他对ALTRAN、B语言、BCPL、C语言、Multics和Unix的发展做出了巨大贡献。

查尔斯·巴赫曼

查尔斯·巴赫曼

查尔斯·巴赫曼(Charles William Bachman,1924年11月11日-),是美国电脑科学家,因其在资料库领域的工作而闻名。他的主要贡献不是在学术界任教研工作,而是在工业界开发实际的产品。

克莱夫·格兰杰

克莱夫·格兰杰

克莱夫·格兰杰,1934年9月出生于英国威尔士的斯旺西,经济时间序列分析大师,被认为是世界上最伟大的计量经济学家之一,2003年诺贝尔经济学奖获奖者,来自美国加州大学圣迭戈分校。

彼得·诺尔

彼得·诺尔

彼得?诺尔(Peter Naur),1928年10月25日出生于丹麦。在1950年和1951年 其间,Naur在英国剑桥大学研读天文学。其间,Naur的工作用到了计算机(EDSAC,世界上第一台使用存储装置的电子计算机)。1959 年,Naur加盟丹麦第一个计算机公司--Regnecentralen。并且领导了Algol 60语言的定义。1969年,Naur成为哥本哈根大学的教授,直到1998年退休。诺尔博士1963年获得了丹麦技术大学颁发的G.A.Hagemann金奖,1966年丹麦电台的Jens Rosejaer奖,以及1986年的电学和电子工程师学会颁发的计算机先驱奖。ACM将于2006年5月20日在加州的旧金山 Westin街Francis饭店举行的每年一度的ACM颁奖宴会上颁发图灵奖。

巴特勒·兰普森

巴特勒·兰普森

巴特勒?兰普森(Butler Lampson),一位知名的计算机科学家。1943年12月23日生于美国华盛顿。先后在施乐(Xerox)公司的PaloAlto研究中心(即着名的PARC)和DEC公 司工作,1995年加盟微软公司,曾任Alto系统的首席科学家及微软的首席技术官,1992年图灵奖得主。

姚期智

姚期智

姚期智(Andrew Chi-Chih Yao),世界着名计算机学家,2000年图灵奖得主,美国科学院院士,美国科学与艺术学院院士,中国科学院外籍院士,清华大学高等研究中心教授。姚期智先生于1967年获得台湾大学物理学士学位,1972年获得美国哈佛大学物理博士学位,1975年获得美国伊利诺依大学计算机科学博士学位。1975年至1986年曾先后在美国麻省理工学院数学系、斯坦福大学计算机系、加利福尼亚大学伯克利分校计算机系任助教授、教授。1986年至2004年在普林斯顿大学计算机科学系担任Wiliam and Edna Macaleer 工程与应用科学教授。

丹尼尔·卡纳曼

丹尼尔·卡纳曼

丹尼尔·卡纳曼(1934年—) ,于1934年出生在以色列特拉维夫,具有以色列和美国双重国籍。现代行为经济学大师,2002年诺贝尔经济学奖获奖者。2002年斯德哥尔摩当地时间10月8日15时30分(北京时间8日21时30分),瑞典皇家科学院宣布,由美国普林斯顿大学的以色列教授丹尼尔·卡纳曼和美国乔治梅森大学教授弗农·史密斯分享2002年诺贝尔经济学奖。丹尼尔·卡纳曼是因为“把心理学研究和经济学研究结合在一起,特别是与在不确定状况下的决策制定有关的研究”而得奖。

丹尼尔·麦克法登

丹尼尔·麦克法登

丹尼尔·麦克法登(Daniel L.McFadden,1937-)美国经济学家美,国加州大学伯克利分校教授麦克法登的贡献主要是他对分析离散抉择的理论和方法的发展。离散抉择分析是指个人在有限种可能中作出抉择的行为分析,如个人对职业、居住地、交通工具等的选择,都是有限的离散抉择。在麦克法登以前,对于离散变量的研究都缺乏经济理论基础。麦克法登从经典的微观经济学出发,创建了有效的条件逻辑特模型(Conditional Logit Model)。这种模型理论坚实,加之计算简单,因此现在被广泛介绍于竞技计量学教科书中。