历届图灵奖得主简介ACM图灵奖1999计算机发展史的缩影
历届图灵奖获奖者
阿迪·萨莫尔（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图灵奖。
图灵奖历史
图灵奖历史百科名片图灵奖(A.M.Turing Award)，由美国计算机协会(ACM)于1966年设立，又叫"A.M.图灵奖"，有"计算机界诺贝尔奖"之称，专门奖励那些对计算机事业作出重要贡献的个人。
其名称取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。
获奖者的贡献必须是在计算机领域具有持久而重大的技术先进性的。
大多数获奖者是计算机科学家。
目录由来概况历年图灵奖获得者图灵简介部分获得者介绍由来概况历年图灵奖获得者图灵简介部分获得者介绍展开编辑本段由来阿兰·麦席森·图灵阿兰·麦席森·图灵(Alan Mathison Turing，1912.6.23-1954.6.7)，是英国著名的数学家和逻辑学家，被称为计算机科学之父、人工智能之父，是计算机逻辑的奠基者，提出了"图灵机"和"图灵测试"等重要概念。
人们为纪念其在计算机领域的卓越贡献而设立"图灵奖"。
编辑本段概况图灵奖(又译"杜林奖")是美国计算机协会(ACM)于1966年第一个设立的奖项，专门奖励那些在计算机科学研究中做出创造性贡献、推动了计算机科学技术发展的杰出科学家。
虽然没有明确规定，但从实际执行过程来看，图灵奖偏于在计算机科学理论和软件方面作出贡献的科学家。
奖杯-图灵碗奖金金额不算太高，设奖初期为2万美元，1989年起增到2万5千美元，奖金通常由计算机界的一些大企业提供(通过与ACM签订协议)。
由于图灵奖对获奖条件要求极高，评奖程序又是极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。
因此它是计算机界最负盛名、最崇高的一个奖项，有"计算机界的诺贝尔奖"之称。
目前图灵奖由英特尔公司和google公司赞助，奖金为250,000美元。
图灵及图录奖
16．1981年图灵奖获得者：埃德加•科德（Edgar F. Codd）
PhD, Michigan; staff, IBM
—— “关系数据库之父”
17．1982年图灵奖获得者：斯蒂芬•库克（Steven A. Cook）
PhD, Harvard; Prof, U Toronto
此后图灵在国家物理学实验室（NPL）工作，并继续为数字式计算机努力，在那里人发明了自动计算机（Automatic Computing Engine，ACE），在这一时期他开始探索计算机与自然的关系。他写了一篇名为《智能机》的文章于1969发表，这时便开始有了人工智能的雏形。
图灵相信机器可以模拟人的智力，他也深知让人们接受这一想法的困难，今天仍然有许多人认为人的大脑是不可能用机器模仿的。而在图灵认为，这样的机器一定是存在的。图灵经常和其它科学家发生争论，争论的问题就是机器实现人类智能的问题，在今天我们看来这没有什么，但是在当时这可不太容易被人接受。他经常问他的同事，你们能不能找到一个计算机不能回答的问题，当时计算机处理多选问题已经可以了，可是对于文章的处理还根本不可能，但今天的发展证明了图灵的远见，今天的计算机已经可以读写一些简单的文章了。
图灵相信如果模拟人类大脑的思维就可以做出一台可以思考的机器，它于1950写文章提出了著名的"图灵测试"，测试是让人类考官通过键盘向一个人和一个机器发问，这个考官不知道他现在问的是人还是机器。如果在经过一定时间的提问以后，这位人类考官不能确定谁是人谁是机器，那这个机器就有智力了。这个测试在我们想起来十分简单，可是伟大的思想就源于这种简单的事物之中。 现在已经有软件可以通过图灵测试的子测试，软件这个人类智慧的机器反映应该可以解决一些人类智力的问题。在完成ACE之前，图灵离开了NPL，它在曼彻斯特大学开发曼彻斯特自动计算机（Manchester Automatic Digital Machine，MADAM）。他相信在2000年前一定可以制造出可以模拟人类智力的机器，图灵开始创立算法，并使用MADAM继续他的工作。
图灵奖资料——精选推荐
图灵奖资料原著：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日），英国数学家。
从图灵奖看计算机科学技术发展史的缩影
从1966年颁发图灵奖至今，已有近40个年头，共计有40多名科学家获此殊荣，其中美国学者最多，此外还有英国、瑞士、荷兰、以色列、挪威等国少数学者，也包含一名美籍华人。
图灵奖颁发的历史，实际上是计算机科学技术发展史的缩影，而且从图灵奖获得者身上，我们会受到很多有益的启迪。
一．.图灵和图灵奖：1．图灵是计算机科学技术的奠基人阿伦·图灵(Alan Mathison Turing) 是英国人，1912年6月23日生于伦敦近郊。
其父母早期在印度工作，退休后在法国生活，没有回英国定居。
图灵和他的一个哥哥在英国由从军队退休的Ward 夫妇带大的。
图灵13岁进入中学，学习成绩并不特别好，只有数学例外，演算能力特别强，此外，就是擅长赛跑。
1931年中学毕业后，进入英国剑桥大学的"King's College " 攻读数学。
他的学位论文是关于概率论的中心极限定理(the Central Limit Theorem of Probability)，1936年图灵因就同一课题所发表的论文而获得史密斯奖(Smith Prize)。
1935年，图灵开始对数理逻辑发生兴趣。
数理逻辑又叫形式逻辑或符号逻辑(symbollogic)，是逻辑学的一个重要分支。
数理逻辑用数学方法，也就是用符号和公式、公理的方法去研究人的思维过程、思维规律，其起源可追溯到17世纪德国的大数学家莱布尼兹(Gottfried Wilhelm Leibniz, 1646-1716)，其目的是建立一种精确的、普遍的符号语言，并寻求一种推理运算，以便用演算去解决人如何推理的问题。
在莱布尼兹的思想中，数理逻辑、数学和计算机三者均出于一个统一的目的，即人的思维过程的演算化、计算机化、以至于在计算机上实现。
两个多世纪以来，许多数学家和逻辑学家沿着莱布尼兹的思路进行了大量实质性工作，使数理逻辑逐步完善和发展起来，许多概念开始逐步明朗。
历届图灵奖获得者
历届图灵奖获得者(1966-2010)图灵奖最早设立于1966年，是美国计算机协会在计算机技术方面所授予的最高奖项, 被喻为计算机界的诺贝尔奖. 它是以英国数学天才Alan Turing先生的名字命名的, Alan Turing先生对早期计算的理论和实践做出了突出的贡献.图灵奖主要授予在计算机技术领域做出突出贡献的个人. 而这些贡献必须对计算机业有长远而重要的影响.图灵奖被称为“计算科学界的诺贝尔奖”，它创立于1960年，现在的奖金10万美元，由Intel 公司赞助。
历届图灵奖获得者名单: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)和Herbert A. Simon --- PhD, Chicago; Prof, CMU (deceased)因在人工智能、人类识别心理和表处理的基础研究而获奖.1976 Michael O. Rabin --- PhD, Princeton; Prof, Harvard和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因在数椐库管理系统的理论和实践方面的贡献而获奖.1982 Steven A. Cook --- PhD, Harvard; Prof, U Toronto因奠定了NP-Completeness理论的基础而获奖.1983 Ken Thompson --- MS, Berkeley; staff, Bell-Labs和Dennis M. Ritchie --- PhD, Harvard; staff, Bell-Labs因在类属操作系统理论，特别是UNIX操作系统的推广而获奖.1984 Niklaus Wirth --- PhD, Berkeley; Prof, ETH Zurich因开发了EULER、ALGOL-W、MODULA和PASCAL一系列崭新的计算语言而获奖. 提出了程序= 算法+ 数据结构1985 Richard M. Karp --- PhD, Harvard; Prof, Berkeley因对算法理论的贡献而获奖.1986 John E. Hopcroft --- PhD, Stanford; Prof, Cornelland Robert E. Tarjan --- PhD, Stanford; Prof, Princeton因在算法及数据结构的设计和分析中所取得的决定性成果而获奖.1987 John Cocke --- staff, IBM因在面向对象的编程语言和相关的编程技巧方面的贡献而获奖.1988 Ivan E. Sutherland --- PhD, MIT; staff, Sun因在计算机图形学方面的贡献而获奖.1989 William V. Kahan --- PhD, U Toronto; Prof, Berkeley因在数值分析方面的贡献而获奖，他是是浮点计算领域的专家.1990 Fernando J. Corbato --- PhD, MIT; Prof, MIT因在开发大型多功能、可实现时间和资源共享的计算系统，如CTSS和Multics方面的贡献而获奖.1991 Robin Milner --- Prof, Cambridge (was at U Edinburgh)因在可计算的函数的逻辑(LCF)、ML和并行理论(CCS)这三个方面的贡献而获奖.1992 Butler Lampson --- PhD, Berkeley; staff, Microsoft因在个人分布式计算机系统（包括操作系统）方面的贡献而获奖.1993 Juris Hartmanis --- PhD, Caltech; Prof, Cornell和Richard E. Stearns --- PhD, Princeton; Prof, SUNY Albany因奠定了计算复杂性理论的基础而获奖.1994 Raj Reddy --- PhD, Stanford; Prof, CMU和Edward Feigenbaum (PhD, CMU; Prof, Stanford)因对大型人工智能系统的开拓性研究而获奖.1995 Manuel Blum --- PhD, MIT; Prof, Berkeley因奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献而获奖.1996 Amir Pnueli --- PhD, Weizmann Institute; Prof, NYU因在计算中引入Temporal逻辑和对程序及系统检验的贡献被获奖.1997 Douglas Engelbart --- PhD, Berkeley; staff, SRI因提出互动式计算概念并创造出实现这一概念的重要技术而获奖.1998 James Gray --- PhD, Berkeley; staff, Microsoft因在数据库和事务处理方面的突出贡献而获奖.1999 Frederick P. Brooks, Jr.--- PhD, Harvard; Prof, UNC因对计算机体系结构和操作系统以及软件工程做出了里程碑式的贡献.2000 Andrew Chi-Chih Yao --- PhD, UIUC; Prof, Princeton (now at 清华)因对计算理论做出了诸多根本性的重大贡献. (图灵奖自创立以来获得该奖项的首位华裔学者,全球华人的骄傲) 2001 Ole-Johan Dahl, and Kristen Nygaard --- Profs, U Oslo因他们在设计编程语言SIMULA I 和SIMULA 67时产生的基础性想法,这些想法是面向对象技术的肇始.2002 Ronald L. Rivest, Adi Shamir, Leonard M. Adelman-Ronald L. Rivest: PhD, Stanford; MIT Adi Shamir: PhD, Weizmann; WeizmannLeonard M. Adelman: PhD, Berkeley; USC 因他们在公共密匙算法上所做的杰出贡献(RSA 算法是当前在互联网传输、银行以及信用卡产业中被广泛使用的安全基本机制).2003 Alan Kay --- PhD, Utah; HP Labs (was at Xerox PARC)因发明第一个完全面向对象的动态计算机程序设计语言Smalltalk.2004 Vinton G. Cerf、Robert E. Kahn获奖原因：由于在互联网方面开创性的工作，这包括设计和实现了互联网的基础通讯协议，TCP/IP，以及在网络方面卓越的领导。
历届图灵奖得主
历届图灵奖得主图灵奖-----计算机的诺贝尔奖图灵奖得主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）。
图灵奖1998-1999
詹姆斯.格雷(James Gray)-1998
1944年出生
1966年从Berkeley获得工程数学的学士学位。
1969 年获得Berkeley计算机科学的博士学位。 博士毕业后，加入了工业界，先后任职于IBM， Tandem，DEC。研究方向转向数据库领域。
经 历
2018/8/6
数据库技术与”事务”处理专家
2018/8/6
数据库技术与”事务”处理专家
7
詹姆斯.格雷(James Gray)-1998
1988年获得IBM颁发的System R奖 1993年进入微软工作，并担任研究院主管
经 历
后领导研制小组开发了MS SQL Server 7.0。
1999年5月4日在美国亚特兰大接受图灵奖发表了”What Next？-----A dozen remaining IT problems“
2018/8/6
数据库技术与”事务”处理专家
5
詹姆斯.格雷(James Gray)-1998
Transactions have 4 basic properties - the so called ACID properties A = Atomicity (a transaction is completely finished or completely rolled back) C = Consistency (system gets a valid new state or stays in the previous state) 经 历 I = Isolation (transaction is separated from other ones during processing) D = Durability (system is left in a valid state even after a system failure)
图灵奖
图灵奖简介图灵奖（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）创立者。
计算机领域杰出人物及重大事件介绍
Ronald L. Rivest, Adi Shamir, Leonard M. Adelman
Alan Kay
在公共密匙算法上所做的杰出贡献 发明第一个完全面向对象的动态计算机程序设计
语言Smalltalk.
6.2 ACM图灵奖获得者介绍
其贡献涉及计算机设计的部分图灵奖获得者
1967 莫里斯．威尔克斯
图灵机的这种由状态、符号确定的工作过程叫图灵机的程序。
6.2 ACM图灵奖获得者介绍
获奖时间
获得者
1966
艾伦．佩利
1967
莫里斯．威尔克斯
1968
查理德．哈明
1969
马文．明斯基
1970
詹姆斯．威尔金森
1971
约翰特拉
1973
查尔斯．巴赫曼
1974
唐纳德．克努特
6.2 ACM图灵奖获得者介绍
1. 1967年图灵奖获得者：莫里斯.威尔克斯
第二届图灵奖授予英国皇家科学院院士、计算技术的先驱莫里斯.威尔克斯，以表 彰他在设计与制造出世界上第一台存储程序式电子计算机EDSAC以及其他许多方面的杰 出贡献。
威尔克斯1913年生于英国。中学时培养了对数学、物理和无线电的爱好,对组装收 音机十分入迷,且很快成了一个“小专家”。 1931年他进入剑桥的圣约翰学院，1934年 以优秀成绩毕业。之后他获得一个研究课题的合同，进入剑桥著名的卡文迪什实验室工 作。 这个实验室由于获得诺贝尔物理奖的人数最多而有“诺贝尔奖的摇篮”的美称。 威尔克斯在这里完成了他的博士论文，于 1938年10 月取得剑桥大学博士学位。
6.1 图灵和图灵奖
3. 图灵机
图灵机由一条两端可无限延长的被分为一个个小方格的工作带、一个有限状 态控制器和一个读写头组成。
图灵奖获得者简介
约翰 .麦卡锡 (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年提出知识工程，使人工智能从理论转向应 用
图灵奖获得者2000-2011
历届图灵奖获得者
2011年3月7日，2010年的图灵奖获得者揭晓【ACM新闻稿】。
哈佛大学计算机系的Les Valiant荣获此计算科学界的最高殊荣。
Les在计算理论方面最大的贡献是Probably approximately correct learning（PAC）
美国计算机协会宣布2011年度图灵奖得主为加州洛杉矶分校（UCLA）的计算机科学家Judea Pearl教授。
Judea Pearl降生于以色列，本科结业于以色列理工学院，1965年在美国罗格斯大学获物理学硕士学位，同年在布鲁克林理工学院获得机电工程博士学位。
Pearl教授的研究领域是人工智能，他是最早将贝叶斯网络和概率体例引入人工智能的先锋之一，也是在经验科学中数学化因果模型的先锋。
他的研究为iPhone的Siri语音识别和Google的无人驾驶汽车奠基了基础。
历届图灵奖得主
年份姓名贡献领域1966年艾伦·佩利高级程序设计技巧，编译器构造1967年莫里斯·威尔克斯存储过程式计算机EDSAC，EDSAC 2，程序库1968年理查德·卫斯里·汉明数值方法，自动编码系统，错误检测和纠错码1969年马文·闵斯基人工智能1970年詹姆斯·维尔金森数值分析，线性代数，倒退错误分析1971年约翰·麦卡锡人工智能1972年艾兹格·迪科斯彻程序设计语言的科学与艺术1973年查理士·巴赫曼数据库技术1974年高德纳算法分析、程序设计语言的设计、程序设计1975年艾伦·纽厄尔人工智能，人类认知心理学和列表处理（list processing）赫伯特·西蒙1976年迈克尔·拉宾非确定性自动机达纳·斯科特1977年约翰·巴克斯高级编程系统，程序设计语言规范的形式化定义1978年罗伯特·弗洛伊德设计高效可靠软件的方法学1979年肯尼斯·艾佛森程序设计语言和数学符号，互动系统的设计，运用APL进行教学，程序设计语言的理论与实践1980年东尼·霍尔程序设计语言的定义与设计1981年埃德加·科德数据库系统，尤其是关系型数据库1982年史提芬·古克计算复杂度1983年肯·汤普逊UNIX操作系统和C语言丹尼斯·里奇1984年尼克劳斯·维尔特程序设计语言设计、程序设计1985年理查德·卡普算法理论，尤其是NP-完全性理论1986年约翰·霍普克洛夫特算法和数据结构的设计与分析罗伯特·塔扬1987年约翰·科克编译理论，大型系统的体系结构，及精简指令集（RISC）计算机的开发1988年伊凡·苏泽兰计算机图形学1989年威廉·卡韩数值分析1990年费尔南多·考巴托CTSS和Multics1991年罗宾·米尔纳LCF，ML语言，CCS1992年巴特勒·兰普森分布式，个人计算环境1993年尤里斯·哈特马尼斯计算复杂度理论理查德·斯特恩斯1994年爱德华·费根鲍姆大规模人工智能系统拉吉·瑞迪1995年曼纽尔·布卢姆计算复杂度理论，及其在密码学和程序校验上的应用1996年阿米尔·伯努利时序逻辑，程序与系统验证1997年道格拉斯·恩格尔巴特互动计算。
历届图灵奖获得者及获得原因
历届图灵奖获得者及获奖原因：图灵奖（Turing Award，又译杜林奖），是计算机协会（ACM）于1966年设立的，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。
目前图灵奖由英特尔公司以及Google公司赞助，奖金为250,000美元。
2012 Shafi Goldwasser和Silvio Micali获奖原因：在密码科学复杂理论基础过程中做出变革性工作，并且发展了保证网上交易安全的黄金法则”。
2011 Judea Pearl获奖原因：通过概率论和因果推理对人工智能领域作出的根本性贡献2010Leslie Valiant 对众多计算理论所做的变革性的贡献获奖原因：表彰他在让计算机模拟人类思考和逻辑推理方面作出的突出贡献。
2009 Charles Thacker获奖原因：对第一台现代个人计算机Xerox PARC Alto的先驱性设计与实现，还有在局域网（包括以太网）、多处理器工作站、窥探高速缓存一致性协议和平板PC 等方面的重大发明和贡献2008 Barbara Liskov 编程语言和系统设计的实践与理论获奖原因：第一个支持数据抽象的面向对象编程语言CLU的设计与实现，第一个支持分布式程序实现的高级语言Argus，面向对象数据库系统Thor，还有最近的Byzantine分布式容错系统2007 Edmund M. Clarke、Allen Emerson和Joseph Sifakis获奖原因：在将模型检查发展为被硬件和软件业中所广泛采纳的高效验证技术上的贡献。
而DDJ则将三人的贡献称为“在发现计算机硬件和软件中设计错误的自动化方法方面的工作”。
2006 Fran Allen获奖原因：对于优化编译器技术的理论和实践做出的先驱性贡献，这些技术为现代优化编译器和自动并行执行打下了基础。
2005 Peter Naur获奖原因：由于在设计Algol60程序设计语言上的贡献。
Algol60语言定义清晰，是许多现代程序设计语言的原型。
计算机领域杰出人物及重大事件介绍
计算机 1986
1987 CSD 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003
1985
理查德．卡普 约翰．霍普克洛夫特和罗伯特．陶尔扬 约翰．科克 伊万．萨瑟兰 威廉．卡亨 费尔南多．考巴脱 罗宾．米尔纳 巴特勒．兰普森 尤里斯．哈特马尼斯和理查德．斯特恩斯 爱德华．费根鲍姆和劳伊．雷迪 曼纽尔．布卢姆 阿米尔．伯努利 道格拉斯．恩格尔巴特 詹姆斯．格雷 弗雷德里克．布鲁克斯 姚期智 Ole-Johan Dahl, and Kristen Nygaard Ronald L. Rivest, Adi Shamir, Leonard M. Adelman Alan Kay
获奖时间
1966 1967 1968 1969 1970 1971 1972 1973 1974 1975 1976 1977 1978 1979 1980 1981 1982 1983 1984
埃德斯加． 埃德斯加．狄克斯特拉 查尔斯．巴赫曼 查尔斯． 唐纳德． 唐纳德．克努特 赫伯特．西蒙和艾伦． 赫伯特．西蒙和艾伦．纽厄尔 米凯尔．拉宾和达纳． 米凯尔．拉宾和达纳．斯科特 约翰． 约翰．巴克斯 罗伯特． 罗伯特．弗洛伊德 肯尼思． 肯尼思．艾弗森 查尔斯． 查尔斯．霍尔 埃德加． 埃德加．科德 斯蒂芬． 斯蒂芬．库克 肯尼思．汤普森和丹尼斯． 肯尼思．汤普森和丹尼斯．里奇 尼克劳斯． 尼克劳斯．沃思
发明“分枝界限法”的三栖学者 硕果累累的算法设计大师 RISC概念的首创者 计算机图形学之父 浮点计算的先驱 实现分时系统的功臣 标准元语言ML的开发者 从Alto系统的首席科学家到微软的首席技术官 计算复杂性理论的主要奠基人 大型人工智能系统的开拓者 计算机复杂性理论的主要奠基人之一 把时态逻辑引入计算机科学 鼠标器的发明人和超文本研究的先驱 数据库和事务处理专家 IBM360系列计算机的总设计师和总指挥 对计算理论做出了诸多根本性的重大贡献. 在设计编程语言SIMULA I 和SIMULA 67时产生的 基础性想法,这些想法是面向对象技术的肇始 在公共密匙算法上所做的杰出贡献 发明第一个完全面向对象的动态计算机程序设计 语言Smalltalk.
历届图灵奖获得者及获得原因
获奖原因：程序设计语言的定义与设计。
主要成就：快速排序算法、霍尔逻辑、交谈循序程式。
古典文明研究：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，以及在网络方面卓越的领导。
图灵奖得主的主要成就
·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-完全性研究，撰写 有关组合算法的概率分析著作。
历届图灵奖得主简介—《ACM图灵奖（1966—1999）—计算机发展史的缩影》
历届图灵奖得主简介—《ACM图灵奖（1966—1999）—计
算机发展史的缩影》
刘建元;康兆华
【期刊名称】《中国大学教学》
【年(卷),期】2000(000)006
【总页数】1页(P27)
【作者】刘建元;康兆华
【作者单位】高等教育出版社;高等教育出版社
【正文语种】中文
【中图分类】TP－09
【相关文献】
1.两位体系结构宗师获2017 ACM图灵奖AI芯片时代拉开帷幕 [J],
2.献给图灵百年诞辰的礼物——《图灵和ACM图灵奖——纪念图灵百年诞辰》[J],
3.概率因果逻辑推理人工智能基础创新——朱迪亚·珀尔教授获2011年度ACM图灵奖 [J], 刘瑞挺;赵永欣
4.美国第一位计算机科学女博士、第二位女性"图灵奖"得主——芭芭拉·莉斯科芙荣获2008年度ACM图灵奖 [J], 刘瑞挺
5.21世纪计算机震撼人类生活——图灵奖得主畅谈“二十一世纪的计算” [J], Butler;Lampson[1];Raj;Reddy[2]
因版权原因，仅展示原文概要，查看原文内容请购买。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
中国大学教学
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系列计算机的开发工作。
近年来信息产业的发展,及其对人们的生活、工作所产生的影响,对社会发展和国民经济所起的作用,都和这些计算机界先辈们的付出有着密不可分的联系。
这些计算机科学技术界的佼佼者所提出的一些具有前
瞻性的设想或思路对我国的科技人员、学者和教育工作者有一定的启迪,虽然不能把他们的想法完全套用在我国的产业实践中,但是对其进行审慎地思考后进行有选择性地吸收,对生产技术的进步、人才的培养是大有裨益的。
比如,威尔克斯在1967年预见到硬件和软件的结合,程序设计语言和数据结构的重要作用,甚至谈到可移植性问题,而当时结构化程序设计的概念尚未正式提出;巴克斯最早提出了归纳的概念,这使变元的概念不复存在,所有的计算目标都通过计算获得;霍尔在基于时态逻辑的逻辑型混合计算模
型中引入了时段和切变的概念,这种模型对于设计要求绝对安全的软件系统有重要意义;科克认为对计算机性能影响最大的因素是算法、编译器和机器组织,其中算法的改进是最重要的;而克努特的宏篇巨著《计算机程序设计的艺术》,曾被誉为计算机科学工作者的《圣经》,甚至有人认为其作用和地位可与数学史上欧几里得的《几何学原理》相媲美,其影响之广泛和深远更是不言而喻。
本书特邀中国科学院院士、北京大学计算机科学与技术系杨芙清教授作序。
在第16届世界计算机大会举办期间,该书受到了与会代表的广泛的好评。
通过对20世纪下半叶有代表性计算机科学家的介绍,本书在一定程度上反映了计算机体系结构、程序设计语言、算法设计与分析、操作系统和编译程序、数据库技术、计算复杂性理论、软件工程、人工智能等计算机科学技术主要分支的形成过程和发展概况。
全书内容深入浅出,文笔流畅,叙述生动,对于人们了解计算机科学技术发展的历史,了解计算机学科的一些基本知识、思想方法,以及供广大教师和学生了解计算机学科的背景知识,都是一本难得的收藏之作。
◆。