《图灵奖历史》word版.doc

图灵奖历史百科名片图灵奖(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美元。每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。从1966年到2009年的44届图灵奖，共计有56名科学家获此殊荣，其中美国学者最多，此外还有英国、瑞士、荷兰、以色列等国少数学者。截止至2009年，获此殊荣的华人仅有一位，他是2000年图灵奖得主姚期智。获此奖项的人并不多。当然，如同任何奖都不可能绝对客观、公正、公平一样，图灵奖出现的这种不平衡是可以理解的，因为这个组织毕竟发源于美国，总部也设在美国，受美国人控制；就计算机科学技术而言，确实也是美国水平最高，贡献最突出。我们只能这样评论：每个图灵奖获得者确实都是出类拔萃的；但出类拔萃的计算机科学家还有很多由于种种原因而没有获得图灵奖。编辑本段历年图灵奖获得者首先，对于noip的学者，要记住一点，获此殊荣的华裔，有一位：他是2000年图灵奖得主姚期智。2009 Charles Thacker获奖原因对第一台现代个人计算机Xerox PARC Alto的先驱性设计与实现，还有在局域网(包括以太网)、多处理器工作站、窥探高速缓存一致性协议和平板PC等方面的重大发明和贡献2008 Barbara Liskov获奖原因在计算机程序语言设计方面的开创性工作。她的贡献是让计算机软件更加可靠、安全和更具一致性。2007 Edmund M.Clarke、Allen Emerson和Joseph Sifakis获奖原因在将模型检查发展为被硬件和软件业中所广泛采纳的高效验证技术上的贡献。而DDJ则将三人的贡献称为在发现计算机硬件和软件中设计错误的自动化方法方面的工作。2006 Frances E.Allen获奖原因：对于优化编译器技术的理论和实践做出的先驱性贡献，这些技术为现代优化编译器和自动并行执行打下了基础。2005 Peter Naur获奖原因：由于在设计Algol60程序设计语言上的贡献。Algol60语言定义清晰，是许多现代程序设计语言的原型。2004 Vinton G.Cerf、Robert E.Kahn获奖原因：由于在互联网方面开创性的工作，这包括设计和实现了互联网的基础通讯协议，TCP/IP，以及在网络方面卓越的领导。2003 Alan Kay获奖原因：由于在面向对象语言方面原创性思想，领导了Smalltalk的开发团队，以及对PC的基础性贡献。至理名言预测未来的最好方法是创造它。2002 Ronald L.Rivest、Adi Shamir、Leonard M.Adleman获奖原因：由于在公共密钥理论和实践方面的基础性工作。2001 Ole-Johan Dahl、Kristen Nygaard获奖原因：由于面向对象编程始发于他们基础性的构想，这些构想集中体现在他们所设计的编程语言SIMULA I和SIMULA 67中。2000 Andrew Chi-Chih Yao(姚期智)获奖原因：由于在计算理论方面的贡献而获奖，包括伪随机数的生成算法、加密算法和通讯复杂性。1999 Frederick P.Brooks,Jr.获奖原因：由于对计算机体系架构、操作系统以及软件工程方面做出了具有里程碑式意义的贡献。1998 James Gray获奖原因：由于在数据库、事务处理研究和相关系统实现的技术领导工作。1997 Douglas Engelbart获奖原因：由于提出了激动人心的交互式计算机未来构想，以及发明了实现这一构想的关键技术。1996 Amir Pnueli获奖原因：由于在计算科学中引入temporal逻辑以及对编程和系统认证方面的杰出贡献。1995 Manuel Blum获奖原因：由于在计算复杂性理论、密码学以及程序校验方面的基础性贡献。1994 Edward Feigenbaum、Raj Reddy获奖原因：由于他们所设计和建造的大规模人工智能系统，证明了人工智能技术的重要性和其潜在的商业价值。1993 Juris Hartmanis、Richard E.Stearns获奖原因：由于他们的论文奠定了计算复杂性理论的基础。1992 Butler W.Lampson获奖原因：由于在个人分布式计算机系统及其实现技术上的贡献，这包括：工作站、网络、操作系统、编程系统、显示、安全和文档发布。1991 Robin Milner获奖原因：由于在可计算函数逻辑(LCF)、ML和并行理论(CCS)这三个方面突出和完美的贡献。1990 Fernando J.Corbato获奖原因：由于组织和领导了多功能、大规模、时间和资源共享的计算机系统的开发。1989 William(Velvel)Kahan获奖原因：由于在数值分析方面的基础性贡献。1988 Ivan Sutherland获奖原因：由于在计算机图形学方面开创性和远见性的贡献，其所建立的技术历经二、三十年依然有效。1987 John Cocke获奖原因：由于在编译器设计和理论、大规模系统架构以及开发RISC等方面的重要贡献。1986 John Hopcroft、Robert Tarjan获奖原因：由于在算法及数据结构设计和分析方面的基础性成就。1985 Richard M.Karp获奖原因：由于在算法理论方面，特别是NP-completeness理论方面，连续不断的贡献。1984 Niklaus Wirth获奖原因：由于开发了EULER、ALGOL-W、MODULA和PASCAL一系列崭新的计算语言。1983 Ken Thompson、Dennis M.Ritchie获奖原因：由于在通用操作系统理论研究，特别是UNIX操作系统的实现上的贡献。1982 Stephen A.Cook获奖原因：由于其于1971年发表的论文，奠定了NP-Completeness理论的基础。1981 Edgar F.Codd获奖原因：由于在数椐库管理系统的理论和实践方面基础性和连续不断的贡献，关系数据库之父。1980 C.Antony R.Hoare获奖原因：由于在编程语言的定义和设计方面的基础性贡献。1979 Kenneth E.Iverson获奖原因：由于在编程语言的理论和实践方面，特别是APL，所进行的开创性的工作。1978 Robert W.Floyd获奖原因：由于在如何开发高效、可靠的软件方法论方面的贡献，这包括：建立分析理论、编程语言的语义学、自动程序检验、自动程序综合和算法分析在内的多项计算机子学科。1977 John Backus获奖原因：由于在高级语言方面所做出的具有广泛和深远意义的贡献，特别是其在Fortran语言方面。1976 Michael O.Rabin、Dana S.Scott获奖原因：由于他们的论文有限自动机与它们的决策问题，被证明具有巨大的价值。1975 Allen Newell、Herbert A.Simon获奖原因：由于在人工智能、人类识别心理和表处理的基础贡献。1974 Donald E.Knuth获奖原因：由于在算法分析和程序语言设计方面的重要贡献，计算机程序设计艺术的作者。1973 Charles W.Bachman获奖原因：由于在数据库方面的杰出贡献。1972 E.W.Dijkstra获奖原因：由于对开发ALGOL做出了原理性贡献。1971 John McCarthy获奖原因：由于其讲稿The Present State of Research on Artificial Intellegence，对人工智能领域的贡献。1970 J.H.Wilkinson获奖原因：由于其在数值分析方面的研究工作。1969 Marvin Minsky获奖原因：人工智能理论及软件1968 Richard Hamming获奖原因：由于其在计数方法、自动编码系统、检测及纠正错码方面的工作。1967 Maurice V.Wilkes获奖原因：由于设计和制造了第一台内部存储程序的计算机EDSAC。1966 A.J.Perlis获奖原因：由于其在先进编程技术和编译架构方面的贡献。编辑本段图灵简介生平英国著名学者阿兰麦席森图灵(Alan Mathison Turing)不仅以纸上下棋机率先探讨了下棋与机器智能的联系，他还是举世公认的人工智能之父。图灵不仅是人工智能之父，他也是计算机之父。曾担任过冯诺依曼助手的美国学者弗兰克尔这样写到：许多人都推举冯诺依曼为计算机之父，然而我确信他本人从来不会促成这个错误。或许，他可以被恰当地称为助产士，但是他曾向我，并且我肯定他也曾向别人坚决强调：如果不考虑巴贝奇、阿达和其他人早先提出的有关概念，计算机的基本概念属于图灵。正是冯诺依曼本人亲手把计算机之父的桂冠转戴在图灵头上。直到现在，计算机界仍有个一年一度图灵奖，由美国计算机学会(ACM)颁发给世界上最优秀的电脑科学家，像科学界的诺贝尔奖金那样，是电脑领域的最高荣誉。阿兰图灵以其独特的洞察力提出了大量有价值的理论思想，似乎都成为计算机发展史不断追逐的目标，不断地被以后的发展证明其正确性。成就图灵开创了计算机科学的重要分支-人工智能，虽然他当时并没有明确使用这个术语。把图灵奖获奖者作一统计后就会发现，许多电脑科学家恰好是在人工智能领域作出的杰出贡献。例如，1969年图灵奖获得者是哈佛大学的明斯基(M.Minsky)；1971年图灵奖获得者是达特莫斯大学的麦卡锡(J.McCarthy)；1975年图灵奖则由卡内基-梅隆大学的纽厄尔(A.Newell)和赫伯特西蒙(H.Simon)共同获得，1990年2月16日，郑晨荣获图灵奖。正是这些人，把图灵开创的事业演绎为意义深远的达特莫斯会议。荣誉1954年，42岁的阿兰图灵英年早逝。为了纪念他在计算机领域奠基性的贡献，美国计算机学会(ACM)决定设立图灵奖，从1956年开始颁发给最优秀的电脑科学家，它就像科学界的诺贝尔奖那样，是电脑领域的最高荣誉。著作1.论可计算数及其在判定问题上的应用(On Computable Numbers,with an Application to the Entscheidungsproblem)(1936年5月28日)2.超计算(hypercomputation)的概念3.形态发生的化学基础(The Chemical Basis of Morphogenesis)(1952年)4.九八三年另一位同性恋的牛津数学家安德鲁.哈吉斯(Andrew Hodges)，替他写了一本脍炙人口的传记谜样的图灵(Alan Turing：The Enigma)，5.图灵死后-1992年艾伦图灵选集编辑本段部分获得者介绍Barbara Liskov芭芭拉利斯科夫利斯科夫1968年从麻省理工学院获得计算机科学博士学位,是美国历史上第一位女性计算机博士.她也成为历史上第二位获得图灵奖的女性.从1972年以来,利斯科夫一直担任麻省理工学院教授.Frances Allen朗西丝阿伦从教师到首位女性图灵奖获得者朗西丝阿伦(Frances E.Allen)，IBM一位荣誉退休人员成为了美国图灵奖有史以来的第一位女获奖者。图灵奖相当于计算机科学行业的诺贝尔奖。阿伦1957年开始在IBM工作，当时，她是一名Fortran(公式转换)编程语言的教师，但后来从事并行计算技术的研究。她开发的并行处理技术(在多个微处理器上同时运行程序的能力)使得今日的高速计算机得以运行。最近，这位IBM知名的老兵接受了我们的专访，她谈到了计算机科学的未来，以及成为一名被人称为最伟大一代的科技业女性应当做的事情是什么。答记者问问：美国计算机协会授予你图灵奖，以表彰你在Ptran(并行转换)方面所做的贡献，但是，作为一名计算机科学家，你认为你最大的成就是什么?阿伦：Ptran只是我工作的一个部分，它实际上是让用户有能力访问高性能的计算，通过并行处理计算机去获得高性能的计算。什么样的童年经历让您成为对计算机和科技感兴趣的人?阿伦：我曾经生活爱非常偏远的农场。嗯，也不是非常的偏远，只是纽约北部的一个乳牛场，没有中央供暖，没有自来水，那还是计算机诞生之前的时代。我真的认为，正是我在农场的生活经历给了我许多痴迷于解决问题的自由。顺便提一句，这也许和你的问题有些偏题，但是我有一种感觉，它是人们有一天需要去研究的东西。这就是农场。回想一下那些早期参与，进入计算机行业或者建造火箭的男人。当我和自己的一些同龄人会面时，我们谈到了自己的背景，我经常发现，这些人来自同样的生活背景。不是全部，但很多人小时候都是中西部农场中的男孩。真的吗?阿伦：是的，需要有人研究一下这一现象。假如你没有成名，或如你说的，当你年轻的时，你何时意识到，技术工作是你乐于从事的职业?阿伦：我属于这一行业。我被培训成为一名高校数学老师。我在密歇根大学取得了数学硕士学位，当时，我负了债，IBM的人来学校招聘。我就和他们签约了，因为这可以让我还债。我还一度想回到我最初的喜好：教数学。你的第一台计算机是什么?阿伦：是650，IBM 650。作为女性及计算机科学家，你都算得上是一位先驱。现在，如果你才开始工作，你想说的忠告是什么?阿伦：有时，当你找不到方向时，不要太过气馁。你知道，早期的计算机时代是一段美妙的时光，因为计算机科学还不存在。在你可以做什么方面，还没有许多的约束性想法。因此，那时具有很多的自由，一段可以尝试不同事情的时期。而现在，有太多的你无法奏效的认识存在，或者是假定的你无法奏效的认识存在，你不得不知道的更多。早期的计算机时代是一个人可以广泛进行实验的时期。它就象一堵白墙，你可以随意油漆。你在1957年进入IBM教Ptran。自从你开始工作以来，职场环境对女性来说已经发生了哪些变化呢?阿伦：在我们供职于IBM Poughkeepsie研究中心时，那里有很多的女性。事实上，她们中的许多都来自Vassar以及附近的社区。很多年后，当我发现IBM发布了一个名为我美丽的女士的小册子时，他们已经在积极的招聘女性员工了。当然，他们积极的招聘许多的人员。但是，没有任何的硬性规定说，你必须这么做。他们只是在寻找具有有趣背景的人。当您回首过去，作为在一个男性占统治地位行业的女性，你有没有痛苦的时刻?阿伦：哦，男孩！当然有，是的！你知道，60年代的事对于妇女来说是相当的寒冷。为何?阿伦：计算机科学在60年代成为了一种职业。计算机科学成为了一门科学，对于招聘来说，这个行业也变得更有组织性，大部分都是男性符合职业需求。职场发生了相当大的改变。现在就谈谈痛苦的时刻。下面的故事我以前没有对任何的记者说过。我曾经从事一个软件程序的开发，那是在一个非常大型的机器上进行的，它位于IBM一间巨大仓库里面。它当时真是一台猛犸级别的机器！第一次，我去那里运行我们的程序，我和一帮子小伙子，我们进入那栋建筑，然后全都忽然愣住了。他们说：哎呀，我们必须要经过男厕所才能进入计算机房间。那间放置计算机的楼层太大了，而参与相关工作的人也很多，因此，巨大的男厕所正好在中间，以方便人们上厕所。你是那个小组当中唯一的女性吗?阿伦：不，当时，我是一名经理。小组当中有四名经理，我们三人是妇女。当时，女性担当了很多的工作角色，非常棒。后来，情况就不是如此了。在60年代晚期，我记得参加了一个大礼堂会议，很多IBM的经理都参加了那次会议，我是四名女性中的一员，而那个礼堂里面有100多个人。你什么时候看到女性职员人数开始回暖，或者，你看到这种情况发生过了没有?阿伦：现在，我看到情况正在回暖，但不是普遍现象。我现在参加会议，或者在餐厅吃饭时，仍然留意男女的比例。我想，大部分的女性会这么做。一开始，我对此并不是太在意，但现在不一样了。当我逐渐发现身边女性人数越来越少时，我越来越关心这一问题了。我认为行业对此做得不够好，我指的是雇用女性员工的问题。一些研究和批评人士指出，女性不喜欢科学是因为是这个行业需要加班。你觉得呢?阿伦：我认为，首先，妇女不青睐理科并不是事实。医药和生物科学行业都有女性。虽然存在男女比例的差距，但在物理学和化学以及数学领域，女性和男性的比例差距相当接近。在另外一些领域，女性人数甚至超过了男性。你知道，有人已经说了，在本科生阶段，女学生的数量已经超过了男学生。我认为，这还有工作年龄平衡的问题存在。我想，职场文化要比职业类型更重要。你能解释一下吗?阿伦：很多IBM职员没有一间办公室，他们在家里面工作。事实上，这是技术发展使然，它的效率相当的高。但是，有时候，职场文化却和这背道而驰，有人认为，只有坐在真正的办公室当中，工作很长的时间才算好。我要说的是，我是IBM研究实验室的职员，那不是我们的职场文化。但是，我们仍然需要碰面，因为，为了解决有趣的问题，我们需要脑力碰撞以及和他人协同工作。你们行业的很多已经抱怨说，美国正在遭受缺乏合格的技术工人的灾难。有人说是缺乏来自公司方面的激励。有人说是美国教育系统的弊病。你对这个问题的看法是什么?阿伦：我曾经参与过美国计算机协会的职业迁移特别行动小组的工作，这个问题并没有明确的准确答案。但是，有一点很明显，这就是，许多的妇女并不是IT劳动力的组成部分。如果我们忽略她们，那么IT劳动力就会出现一个问题。你认为，我们应该采取那些措施令年轻人对数学，科学以及科技更加的感兴趣?阿伦：我确实没有答案。我的意思是，这是一个非常大，非常难，很难解决的问题。在科技行业，你以为终生为人们提供指导而闻名。IBM甚至还以你的名字为名成立了一个专门的奖项。作为导师，你最大的成就是什么?阿伦：指导工作就是给与建议，为一些人提供一个场所进行各种决策的讨论。但是，我还成为了一类人的游说客，也就是女性利益的发言人和游说者。调查显示，大的软件公司，他们的离岸外包的工作越来越多。作为给那些担心会因为这种趋势加剧而最终失去工作人的建议，你要说些什么?阿伦：我要告诉他们，最有趣的工作还在国内进行。这是事实。只有呼叫中心一类的工作流向了海外。过去，我们需要解决许多的问题，方方面面的，象机器的，架构的，全部的东西。现在，我们的更多任务是整合低端方案，并将各种数学信息放在一起的问题，想来自金融，来自商业建模方面的信息。我们的主要任务是将所有这些东西整合到一起，建造PC，以便它们能够一起工作。这只是众多尚未流向海外进行处理的工作之一。你能够举出另外一个例子吗?阿伦：在医疗行业，象管理病例记录以及整合它们的工作，数据提炼，找到合适的药物，或者，判断病人的病症类型。这里有很多需要做的工作，需要相当多的创新与整合。沃尔玛也是如此。这家公司由于使用了个人管理，财务管理，库存管理，供应链管理等等类似的东西，他们的工作效率提高了。因为图灵奖，你获得了10万美元现金，用这笔钱，你有什么特别的计划吗?阿伦：是的，我准备用它来成立一个贫困人口教育基金，我将直接参与管理这个基金，这个基金将尤其针对年轻女性，但是并不只针对女性。我已经去远东地区游历了多次，那里的部分区域，人们上四年大学的费用，从我们的角度上讲解不算昂贵，但是，当地的年轻人却承受不起。我的一次去蒙古的旅行激励了我，那里，很多游牧民族的小孩是孤儿，还有在不丹，那里只有一所大学教授计算机，学生人数也不多。你还是一位登山爱好者，美国登山俱乐部及加拿大登山俱乐部的会员。你是否认为，有一个运动的爱好对于平衡诸如计算机科学这样的脑力职业相当的重要?阿伦：我不知道它是否能够帮助每个人。但是，登山让我保持活力。我喜欢探险一类的事情，那是我的自我的一部分。我喜欢探索新方法，新空间以及世界遥远的角落。我已经去过西藏高原，也曾游历过不丹和蒙古。我喜欢观察的，正是我们身边这些奇妙之地。我喜欢挑战，但那并不是适合每个人。你下一个目的地是哪里?阿伦：我准备去一趟印度。我想利用这次得奖的机会，让我有一些改变，或者，至少向人们带去妇女也有成功机会，技术行业也有很好的发展机会的讯息。因为，我认为，我们正在接近一个计算机时代的开始。具体呢?阿伦：我认为是计算机语言的改变，计算机语言对用户来说将更加的友好。我并不是单指用户界面本身；那方面有很多的专家。但是，我们建造了性能相当高的计算机，它们在变得越来越快，越来越大型，不是指体积，而是说他们的性能。我们要找到让它们更好用的方法。我实际上已经参与了这些东西的建设，我们将继续从事这方面的研究。作为图灵奖历史上首位女性获奖者，你还有别的话想对人们说吗?阿伦：我要说一件事。我如此成功的一个原因是，我有如此多的好同事。我的意思是，这是一段非凡的经历。我当然希望每个人都有类似的经历，因为这确实让职场，让工作的成果焕然一新。华人姚期智如何成为出色软件人才就像下棋一样，如果一直和程度差自己很多的人下，久而久之水平会变得一样烂，华人唯一获得称之为电脑界的诺贝尔奖图灵奖得主姚期智说。一字排开，包括了负责微软未来5到15年内产品核心技术研究的微软研究院全球资深副总裁Rick Rashid、微软亚洲研究院院长沈向洋、现任北京清华大学教授的2000年图灵奖得主姚期智等在软件研究界执牛耳的专家27日齐聚一堂，应邀为微软、台清交三所大学在台北举行的二十一世纪的运算学术研讨会发布演说。在谈到如何培养年轻一代的软件人才，乃至于第二位华人图灵奖得主时，这些专家口径一致的表示，同行的刺激、交流至为重要。和人才切磋的好处是，能够观摩出如何做出好的研究成果；然后有系统地不断改进自己的疏失，即使自己的基础或天分未必足够，五年到十年间也会有长足的长进，姚期智说。相较于台湾地区硬件产业的蓬勃-全球高达九成以上的主机板是在台湾生产，七成以上的笔记本电脑是在台湾代工生产，软件产业却一直难以大放异彩。根据资策会提供的信息，迄今台湾仍没有一家营业额超过百亿的软件外销厂商，其中软件人才缺乏就是台湾软件产业的隐忧。然而相较于硬件产业在投资后短期内即可看到回收效益，软件产业的生态环境须耗时更久以臻成熟的前提下，软件人才的培育更需要产官学界的合作。目前台湾地区对软件人才的培育，除了资策会近年来极力推广CMMI认证和使用软件工具，提升软件厂商的生产力和产品品质外；诸如微软、Sun等软件大厂也积极与台清交三所大学合作，提供奖学金或者补助研究计划。不过从上述专家的眼光看来，台湾地区乃至于两岸三地要培养出真正的软件人才，向优秀的人见习很