图灵奖，是美国计算机协会（ACM）于1966年设立的，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。其名称取自计算机科学的先驱、英国科学家阿兰·图灵，这个奖设立目的之一是纪念这位科学家。获奖者的贡献必须是在计算机领域具有持久而重大的技术先进性的。大多数获奖者是计算机科学家。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。图灵奖对获奖者的要求极高，评奖程序也极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。目前图灵奖由英特尔公司赞助，奖金为100,000美元。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。
截止至2005年，获此殊荣的华人仅有一位，他是2000年图灵奖得主姚期智。
编辑本段历年图灵奖获得者
2007 Edmund M. Clarke、Allen Emerson和Joseph Sifakis
获奖原因：在将模型检查发展为被硬件和软件业中所广泛采纳的高效验证技术上的贡献。而DDJ则将三人的贡献称为“在发现计算机硬件和软件中设计错误的自动化方法方面的工作”。
2006 Fran 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
获奖原因：由于其在先进编程技术和编译架构方面的贡献。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。图灵奖对获奖者的要求极高，评奖程序也极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。目前图灵奖由英特尔公司赞助，奖金为100,000美元。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。
截止至2005年，获此殊荣的华人仅有一位，他是2000年图灵奖得主姚期智。
编辑本段历年图灵奖获得者
2007 Edmund M. Clarke、Allen Emerson和Joseph Sifakis
获奖原因：在将模型检查发展为被硬件和软件业中所广泛采纳的高效验证技术上的贡献。而DDJ则将三人的贡献称为“在发现计算机硬件和软件中设计错误的自动化方法方面的工作”。
2006 Fran 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
获奖原因：由于其在先进编程技术和编译架构方面的贡献。
回答人的补充 2009-10-06 01:33
时间定格在1933年的美国纽约北部，Allen 出生在一个没有电、没有暖气、没有自来水的农场，那是一个计算机诞生之前的时代。因为家里很穷，6个孩子都要下地干活，种田持家。但艰苦的童年却给了她一笔财富，那就是全家住在一起的安全感与快乐、自由。她觉得：“童年的经历让我觉得自己很有能力，而且安全感很强，因为一直有家人的陪伴。”在这样的环境中，乐观豁达的Allen逐渐形成坚强自信的性格，正是农场的经历给了她许多痴迷于解决问题的自由。
1954年，Allen在阿尔班尼州立师范获得数学学士学位，而后去密歇根大学读数学硕士，1957 年毕业后成为纽约Peru 的一名高中数学老师。但不久后偶然遇到的IBM校园招聘让她怦然心动，因为这份工作可以尽快偿还她读书时欠下的贷款，于是Allen 进入IBM Watson 研究中心。当时Allen 以为还完贷款后马上就会离开IBM，但没想到，这一待就是45年。 专注一生
自加入IBM开始，Allen 50年来一直从事一个研究领域——并行计算编译器研究。20世纪80年代早期，她创立IBM并行翻译研究组，致力于通过并行计算来实现的编译技术研究。她开发的并行处理技术，是一种在多个微处理器上同时运行程序的能力，这使得今日的高速计算机得以运行。
专注的力量是无比强大的。在Allen的领导下，PTRAN项目中的工作一次次革新商业编译器中的程序优化算法和技术，研究成果被广泛的应用在各种工业产品中。Allen 作为这个领域的先驱，在编译器优化领域取得非凡的成就，如编译器的基本原理、代码优化和并行编译等，奠定了现代优化编译器和自动并行化执行的基础。
2007年2月，图灵奖第一次授予女性科学家，以表彰Allen编译器设计和机器架构方面做出了开创性贡献。图灵奖评委会主席Ruzena Bajcsy说：“她的研究几乎影响了计算机科学发展的整个历程，使我们今天在商业和科技领域内使用的许多计算技术成为可能。” 坚强与坚持
20世纪60年代，计算机科学刚刚成为一种职业，这个极有组织性的行业几乎全由男性垄断，科研环境对女性来说是相当的寒冷，一切成就的取得都来之不易。甚至有过这么一件尴尬事：那是一个超大机型软件程序的开发，第一次去运行机器时Allen愣住了——必须穿过男厕所才能进入计算机房。因为那间放置计算机的楼层太大，而相关工作人员绝大多数是男士，因此男厕所正好设在中间以求方便。
职业生涯里不顺心的事情还有很多，有一度部门来了个不很懂专业事务的经理，经常取笑她说IBM不应该做这样的项目，然而，要知道那时Allen在这个项目上已经做了10年。屋漏偏逢连夜雨，工作方面的行进之路也极为坎坷，曾经一段时间里Allen做的几个项目由于风险太大都失败了。但她立即调整心态：“失败也是一个学习的过程”，她坚持在这个领域进行研究而从未放弃。 探索奇妙之旅
Allen 在科学的道路上探索奇妙之旅，获得荣誉无数。1989年Allen当选为IBM院士，这是IBM历史上第一个女性获得此殊荣。1995 年，她被任命为IBM技术研究院院长。1997 年被选入WITI 名人堂，2000年IBM设立了以她的名字命名的“Frances E. Allen科技女性导师奖”。作为美国国家工程学院院士、美国计算机学会会士，获得过AWC颁发的Augusta Ada Lovelace奖，2006年度图灵奖等诸多荣誉。
这位邻家老奶奶一般亲切的女科学家今年77 岁了，2002 年正式退休。尽管仍活跃地编写程序，但已将重心从研究转移到社会活动，致力于鼓励女性从事计算机科学研究的教育培训项目。生活中，Allen热爱登山和探险，她说：“我特别喜欢探索一些新的未知领域，不管它是新的研究方法，还是新的想法。这如同我喜欢探索一座我没有去过的山一样。我喜欢观察身边的这些奇妙之地。” （本文来自《程序员》杂志0909期，更多精彩内容敬请关注0909期杂志。）
计算世界的奇妙探险——第一位图灵奖女得主Frances E. Allen
她，是IBM历史上第一位女院士。
她，是现代计算机编译器领域最杰出的女科学家。
她，是图灵奖历史上第一位女性获奖者，叫Frances E. Allen。
时间定格在1933年的美国纽约北部，Allen 出生在一个没有电、没有暖气、没有自来水的农场，那是一个计算机诞生之前的时代。因为家里很穷，6个孩子都要下地干活，种田持家。但艰苦的童年却给了她一笔财富，那就是全家住在一起的安全感与快乐、自由。她觉得：“童年的经历让我觉得自己很有能力，而且安全感很强，因为一直有家人的陪伴。”在这样的环境中，乐观豁达的Allen逐渐形成坚强自信的性格，正是农场的经历给了她许多痴迷于解决问题的自由。
1954年，Allen在阿尔班尼州立师范获得数学学士学位，而后去密歇根大学读数学硕士，1957 年毕业后成为纽约Peru 的一名高中数学老师。但不久后偶然遇到的IBM校园招聘让她怦然心动，因为这份工作可以尽快偿还她读书时欠下的贷款，于是Allen 进入IBM Watson 研究中心。当时Allen 以为还完贷款后马上就会离开IBM，但没想到，这一待就是45年。 专注一生
自加入IBM开始，Allen 50年来一直从事一个研究领域——并行计算编译器研究。20世纪80年代早期，她创立IBM并行翻译研究组，致力于通过并行计算来实现的编译技术研究。她开发的并行处理技术，是一种在多个微处理器上同时运行程序的能力，这使得今日的高速计算机得以运行。
专注的力量是无比强大的。在Allen的领导下，PTRAN项目中的工作一次次革新商业编译器中的程序优化算法和技术，研究成果被广泛的应用在各种工业产品中。Allen 作为这个领域的先驱，在编译器优化领域取得非凡的成就，如编译器的基本原理、代码优化和并行编译等，奠定了现代优化编译器和自动并行化执行的基础。
2007年2月，图灵奖第一次授予女性科学家，以表彰Allen编译器设计和机器架构方面做出了开创性贡献。图灵奖评委会主席Ruzena Bajcsy说：“她的研究几乎影响了计算机科学发展的整个历程，使我们今天在商业和科技领域内使用的许多计算技术成为可能。” 坚强与坚持
20世纪60年代，计算机科学刚刚成为一种职业，这个极有组织性的行业几乎全由男性垄断，科研环境对女性来说是相当的寒冷，一切成就的取得都来之不易。甚至有过这么一件尴尬事：那是一个超大机型软件程序的开发，第一次去运行机器时Allen愣住了——必须穿过男厕所才能进入计算机房。因为那间放置计算机的楼层太大，而相关工作人员绝大多数是男士，因此男厕所正好设在中间以求方便。
职业生涯里不顺心的事情还有很多，有一度部门来了个不很懂专业事务的经理，经常取笑她说IBM不应该做这样的项目，然而，要知道那时Allen在这个项目上已经做了10年。屋漏偏逢连夜雨，工作方面的行进之路也极为坎坷，曾经一段时间里Allen做的几个项目由于风险太大都失败了。但她立即调整心态：“失败也是一个学习的过程”，她坚持在这个领域进行研究而从未放弃。 探索奇妙之旅
Allen 在科学的道路上探索奇妙之旅，获得荣誉无数。1989年Allen当选为IBM院士，这是IBM历史上第一个女性获得此殊荣。1995 年，她被任命为IBM技术研究院院长。1997 年被选入WITI 名人堂，2000年IBM设立了以她的名字命名的“Frances E. Allen科技女性导师奖”。作为美国国家工程学院院士、美国计算机学会会士，获得过AWC颁发的Augusta Ada Lovelace奖，2006年度图灵奖等诸多荣誉。
这位邻家老奶奶一般亲切的女科学家今年77 岁了，2002 年正式退休。尽管仍活跃地编写程序，但已将重心从研究转移到社会活动，致力于鼓励女性从事计算机科学研究的教育培训项目。生活中，Allen热爱登山和探险，她说：“我特别喜欢探索一些新的未知领域，不管它是新的研究方法，还是新的想法。这如同我喜欢探索一座我没有去过的山一样。我喜欢观察身边的这些奇妙之地。” （本文来自《程序员》杂志0909期，更多精彩内容敬请关注0909期杂志。）
回答人的补充 2009-10-06 01:36
图灵奖得主——姚期智院士
姚期智，祖藉湖北孝感，1946年12月24日出生于上海，幼年随父母移居台湾。1967年，姚期智毕业于台湾大学，之后赴美国深造。1972年获哈佛大学物理学博士学位，1975年获伊利诺大学香槟分校计算机科学博士学位。之后，他曾先后在麻省理工学院、斯坦福大学、加州大学伯克利分校等美国高等学府从事教学和研究，1986年至2004年6月任普林斯顿大学计算机科学系教授。2004年9月正式×××清华大学高等研究中心任全职教授。他是美国国家科学院院士、×××外籍院士、美国人文及科学院院士。 2000年，因为姚期智对计算理论的诸多贡献，美国计算机学会把该年度的图灵奖（公认为计算机领域诺贝尔奖）授予他，使他成为自图灵奖创立以来首位获奖的华裔学者。
