当前位置:文档之家› 图灵奖

图灵奖

图灵奖(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)的主要发起人之一。

1967年获ACM图灵奖,图灵奖演讲题目是:Computers Then and Now(计算机的过去和现在)。

第三个:理查德·卫斯里·汉明(英语:Richard Wesley Hamming,1915年2月11日-1998年1月7日),美国数学家,主要贡献在计算机科学和电讯。

1937年芝加哥大学学士学位毕业,1939年内布拉斯加大学硕士学位毕业,1942年伊利诺伊大学香槟分校博士学位毕业。

1946至76年在贝尔实验室工作。

他曾和约翰·怀尔德·杜奇、克劳德·艾尔伍德·香农合作。

1956年他参与了IBM 650的编程语言发展工作。

1968年获得ACM图灵奖。

第四个:马文·闵斯基(Marvin Lee Minsky)出生于1927年,是一位美国人工智能领域的科学家,麻省理工学院人工智能实验室的创始人之一,著有几部人工智能和哲学方面的作品。

1950年于哈佛大学获得数学学士学位,1954年于普林斯顿大学获得数学博士学位。

自1958年起在麻省理工学院任教,现为东芝媒体艺术与科学教授、麻省理工学院电子工程与计算机科学教授。

1969年获得ACM图灵奖。

第五个:詹姆斯·哈迪·威尔金森,(James Hardy Wilkinson 1919年9月27日-1986年10月5日)是英国数学家和计算机学家,在数值分析领域具有杰出贡献。

数值分析是应用数学与计算机科学的交叉学科,特别在工程和物理学上具有显著的应用。

1940年,他开始研究弹道学,并与1946年进入英国最著名的学术机构之一英国国家物理实验室(NPL)的数学部,期间研制了电子计算机Pilot ACE。

在NPL,威尔金森一开始协助图灵设计计算机Pilot ACE。

图灵离开NPL后,他接手整个项目,使得Pilot ACE于1950年5月10日,第一次正式试运行成功。

1970年获得ACM图灵奖,图灵奖演讲题目是:Some Comments from a Numerical Analyst (一个数值分析家的若干意见)。

第六个:约翰·麦卡锡(John McCarthy,1927年9月4日-2011年10月24日[1][2]),生于美国马萨诸塞州波士顿,计算机科学家。

他于1948年获得加州理工学院数学学士学位,1951年获得普林斯顿大学数学博士学位。

分别短暂地为普林斯顿大学、斯坦福大学、达特茅斯学院和麻省理工学院供职后,麦卡锡于1962年-2000年底在斯坦福担任教授,退休后成为名誉教授。

麦卡锡发明了LISP并于1960年将其设计发表在《美国计算机学会通讯》(Communications of the ACM)上。

他因在人工智能领域的贡献而在1971年获得图灵奖。

实际上,正是他在1955年的达特矛斯会议上提出了“人工智能”这个概念。

第七个:艾兹格·W·迪科斯彻(Edsger Wybe Dijkstra,1930年5月11日~2002年8月6日)荷兰人。

计算机科学家,毕业就职于荷兰Leiden大学,早年钻研物理及数学,而后转为计算学。

他是计算机先驱之一,他开发了程序设计的框架结构。

曾经提出“goto有害论”信号量和PV原语,解决了有趣的“哲学家聚餐”问题,提出了目前离散数学应用广泛的最短路径算法(Dijkstra's Shortest Path First Algorithm)。

曾在1972年获得过素有计算机科学界的诺贝尔奖之称的图灵奖,之后,他还获得过1974年AFIPS Harry Goode Memorial Award、1989年ACM SIGCSE计算机科学教育教学杰出贡献奖、以及2002年ACM PODC最具影响力论文奖。

第八个:查尔斯·威廉·巴赫曼(Charles William Bachman,1924年11月11日-),是美国计算机科学家,因其在数据库领域的工作而闻名。

在密歇根州立大学获得机械工程的学士学位之后,1950年,又在宾夕法尼亚大学取得硕士学位。

巴赫曼的整个职业生涯基本上是在工业界里,而没有在学术界里作过研究或教职工作。

1973年,他因“数据库技术方面的杰出贡献”而被授予图灵奖,并做了题为“作为导航员的程序员(The Programmer as Navigator)”的演讲。

1977年因其数据库系统方面的开创性工作而被选为英国计算机学会的杰出研究员(Distinguished Fellow)。

他也被列入数据库名人堂。

第九个:高德纳(Donald Ervin Knuth,1938年1月10日-),出生于密尔沃基,美国著名计算机科学家,斯坦福大学计算机系荣誉退休教授。

高德纳教授被誉为现代计算机科学的鼻祖,在计算机科学及数学领域发表了多部具广泛影响的论文和著作。

高德纳最为人知的事迹是,他是《计算机程序设计艺术》(The Art of Computer Programming)的作者。

此书是计算机科学界最受高度敬重的参考书籍之一。

他创造了算法分析的领域,在数个理论计算机科学的分支做出基石一般的贡献,此外还是排版软件TeX 和字体设计系统Metafont的发明人。

1974年获得ACM图灵奖。

第十个(有两人):赫伯特·西蒙(Herbert Alexander Simon1916- 2001),经济组织决策管理大师,第十届诺贝尔经济学奖获奖者。

1978年瑞典皇家科学院贺辞说,其科学成就远超过他所教的任何一门学科——政治学、管理学、心理学和信息科学。

他的研究成果涉及科学理论、应用数学、统计学、运筹学、经济学和企业管理等方面,在所有的这些领域中西蒙都发挥了重要的作用。

他是现代一些重要学术领域的创建人之一,如人工智能、信息处理、决策制定、解决问题、注意力经济、组织行为学、复杂系统等。

他创造了术语有限理性(Bounded rationality)和满意度(satisficing),也是第一个分析复杂性架构(architecture of complexity)的人。

西蒙自幼熟读经济学家理查德·伊利的经济学书籍,于1933年进入芝加哥大学,师从挪威经济学家特里夫·哈维默与荷兰经济学家特亚林·科普曼斯,1943年获得芝加哥大学政治科学博士,1949年被聘为卡内基梅隆大学的教授。

1975年获得ACM图灵奖。

艾伦·纽厄尔(Allen Newell,1927年3月19日-1992年7月19日)是计算机科学和认知信息学领域的科学家,曾在兰德公司,卡内基梅隆大学的计算机学院、泰珀商学院和心理学系任职和教研。

他是信息处理语言(IPL)发明者之一,并写了该语言最早的两个AI 程序,合作开发了逻辑理论家(Logic Theorist 1956年)和通用问题求解器General Problem Solver。

1975年他和赫伯特·西蒙一起因人工智能方面的基础贡献而被授予图灵奖。

第十一个(有两人):迈克尔·O·拉宾(Michael Oser Rabin,1931年9月1日-)是一名以色列计算机科学家,1953年,他获得希伯来大学的理学硕士,1956年获普林斯顿大学博士学位。

1959年,拉宾和达纳·斯科特共同发表了“有限自动机与其判定性问题”(Finite Automata and Their Decision Problems)的论文,提出了非确定自动机的观点。

他们也因此获得了1976年的图灵奖,并做“计算机复杂性”(Complexity of Computations)的演讲。

达纳·斯图尔特·斯科特(Dana Stewart Scott 1932年10月11日-)美国科学家,研究领域涉及计算机科学、数学和哲学,斯科特1932年10月11日生于美国加利福尼亚州,在加州大学伯克利分校获得学士学位以后,进入普林斯顿大学研究生院学习,与迈克尔·拉宾一起师从阿隆索·邱奇,1958年取得博士学位。

1976年图灵奖得主。

第十二个:约翰·华纳·巴克斯(英语:John Warner Backus,1924年12月3日-2007年3月17日),美国计算机科学家,是早期高阶语言(High-level Language)FORTRAN的发明小组组长。

他提出了BNF(用来定义形式语言语法的记号法),发明Function-level programming这个概念及实践该概念的FP语言。

被誉为“Fortran 语言之父”。

相关主题