历届图灵奖编译器

㈠ 全球首位获得图灵奖女性是谁她为计算机领域做出啥贡献

法兰西斯·艾伦生于1954 年，毕业于美国纽约州立大学奥尔巴尼分校。她在 1980 年代早期创立了并行翻译(Parallel TRANslation，PTRAN)研究组，致力于研究并行计算机的编译问题。她在计算机领域做出了开拓性贡献。对于获得图灵奖，她坦言，“对此深感荣幸，也深感担忧，因为这一领域有太多女性从未获得她们应得的奖项。”

图灵奖历届得主都是男性，艾伦的出现，使得这一现象成为历史，计算机不再是男人们的天下！是迄今为止世界上惟一获得图灵奖的女科学家 。

㈡ 图灵奖的历届得主

从1966年到2014年，49届，共62名得主，按国籍分，美国学者最多，欧洲学者偶见之，华人学者目仅有2000年图灵奖得主姚期智（现在清华大学）。
62名得主分布在几十个小领域，排在前六的领域有：编译原理、程序设计语言，计算复杂性理论，人工智能，密码学，以及数据库（4名）。在某种意义上，可大致认为，前三个领域与计算机科学本身更密切一些，后三个领域与军民应用更密切一些。 年份 中文译名 姓名 贡献领域 1966年 艾伦·佩利 Alan J. Perlis 高级程序设计技巧，编译器构造 1967年 莫里斯·威尔克斯 Maurice V. Wilkes 存储程序式计算机EDSAC，程序库 1968年 理乍得·卫斯里·汉明 Richard Hamming 数值方法，自动编码系统，错误检测和纠错码 1969年 马文·闵斯基 Marvin Minsky 人工智能 1970年 詹姆斯·维尔金森 James H. Wilkinson 数值分析，线性代数，倒退错误分析 1971年 约翰·麦卡锡 John McCarthy 人工智能 1972年 艾兹格·迪科斯彻 Edsger Dijkstra 程序设计语言的科学与艺术 1973年 查理士·巴赫曼 Charles W. Bachman 数据库技术 1974年 高德纳 Donald E. Knuth 算法分析、程序设计语言的设计、程序设计 1975年 艾伦·纽厄尔
赫伯特·西蒙 Allen Newell
Herbert A. Simon 人工智能，人类认知心理学和列表处理 (list processing) 1976年 迈克尔·拉宾
达纳·斯科特 Michael O. Rabin
Dana S. Scott 非确定性自动机 1977年 约翰·巴克斯 John Backus 高级编程系统，程序设计语言规范的形式化定义 1978年 罗伯特·弗洛伊德 Robert W. Floyd 设计高效可靠软件的方法学 1979年 肯尼斯·艾佛森 Kenneth E. Iverson 程序设计语言和数学符号，互动系统的设计，运用 APL进行教学，程序设计语言的理论与实践 1980年 东尼·霍尔 C. Antony R. Hoare 程序设计语言的定义与设计 1981年 埃德加·科德 Edgar F. Codd 数据库系统，尤其是关系型数据库 1982年 史提芬·古克 Stephen A. Cook 计算复杂度 1983年 肯·汤普逊
丹尼斯·里奇 Ken Thompson
Dennis M. Ritchie UNⅨ操作系统和C语言 1984年 尼古拉斯·沃斯 Niklaus Wirth 程序设计语言设计、程序设计 1985年 理乍得·卡普 Richard M. Karp 算法理论，尤其是NP-完全性理论 1986年 约翰·霍普克罗夫特
罗伯特·塔扬 John Hopcroft
Robert Tarjan 算法和数据结构的设计与分析 1987年 约翰·科克 John Cocke 编译理论，大型系统的体系结构，及精简指令集（RISC）计算机的开发 1988年 伊凡·苏泽兰 Ivan Sutherland 计算机图形学 1989年 威廉·卡亨 William Morton Kahan 数值分析 1990年 费尔南多·考巴托 Fernando J. Corbató CTSS和Multics 1991年 罗宾·米尔纳 Robin Milner LCF，ML语言，CCS 1992年 巴特勒·兰普森 Butler W. Lampson 分布式，个人计算环境 1993年 尤里斯·哈特马尼斯
理乍得·斯特恩斯 Juris Hartmanis
Richard E. Stearns 计算复杂度理论 1994年 爱德华·费根鲍姆
拉吉·瑞迪 Edward Feigenbaum
Raj Reddy 大规模人工智能系统 1995年 曼纽尔·布卢姆 Manuel Blum 计算复杂度理论，及其在密码学和程序校验上的应用 1996年 阿米尔·伯努利 Amir Pnueli 时序逻辑，程序与系统验证 1997年 道格拉斯·恩格尔巴特 Douglas Engelbart 互动计算 1998年 詹姆斯·尼古拉·格雷 James Gray 数据库与事务处理 1999年 弗雷德里克·布鲁克斯 Frederick P. Brooks,Jr. 计算机体系结构，操作系统，软件工程 2000年 姚期智 Andrew Chi-Chih Yao 计算理论，包括伪随机数生成，密码学与通信复杂度 2001年 奥利-约翰·达尔
克利斯登·奈加特 Ole-Johan Dahl
Kristen Nygaard 面向对象编程 2002年 罗纳德·李维斯特
阿迪·萨莫尔
伦纳德·阿德曼 Ronald L. Rivest
Adi Shamir
Leonard M. Adleman 公钥密码学（RSA加密算法） 2003年 艾伦·凯 Alan Kay 面向对象编程 2004年 文特·瑟夫
罗伯特·卡恩 Vinton G. Cerf
Robert E. Kahn TCP/IP协议 2005年 彼得·诺尔 Peter Naur Algol 60语言 2006年 法兰西斯·艾伦 Frances E. Allen 优化编译器 2007年 爱德蒙·克拉克
艾伦·爱默生
约瑟夫·斯发基斯 Edmund M. Clarke
Allen Emerson
Joseph Sifakis 开发自动化方法检测计算机硬件和软件中的设计错误 2008年 芭芭拉·利斯科夫 Barbara Liskov 编程语言和系统设计的实践与理论 2009年 查尔斯·萨克尔 Charles Thacker 帮助设计、制造第一款现代PC 2010年 莱斯利·瓦伦特 Leslie Valiant 对众多计算理论所做的变革性的贡献 2011年 犹大·伯尔 Judea Pearl 人工智能 2012年莎菲·戈德瓦塞尔
希尔维奥·米卡利 Shafi Goldwasser
Silvio Micali 由于在密码学和复杂理论领域做出创举性工作 2013年莱斯利·兰伯特Leslie Lamport在提升计算机系统的可靠性及稳定性领域的杰出贡献 2014年Michael Stonebraker Michael Stonebraker 对现代数据库系统底层的概念与实践所做出的基础性贡献 2015年惠特菲尔德·迪菲
马丁·赫尔曼 Whitfield Diffie and Martin Hellman对现代密码学做出的重要贡献

㈢ 图灵奖是什么

图灵(A. M. Turing)是现代计算机的发明者之一。图灵奖是以由美国计算机协会（Association of Computer Machinery-ACM）每年颁发给在计算机领域做出意义重大而深远的个人。1966年开始颁发，通常每年仅有一位获奖者。图灵奖的奖金是每年10万美元，由美国的英特尔公司（Intel Corporation）提供。 被誉为“计算机界的诺贝尔奖”，迄今为止已有36位科学家获此殊荣。

历届图灵奖获得者
资料来源：Yat-sen Channel

1966 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)因为对计算理论做出了诸多“根本性的、意义重大的”贡献而获奖

㈣ 计算机图灵奖历届得奖者

- -
你发痴
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
获奖原因：由于其在先进编程技术和编译架构方面的贡献。

㈤ 图灵奖是什么奖项至今为止有多少位女性获得此奖

图灵奖时1966年由美国计算机协会设立，名字来自于着名的英国科学家——艾伦·麦席森·图灵。图灵奖地位相当于计算机界的诺贝尔奖，一般一年只授予一位计算机科学家，可见审核流程和要求极高。至今有三位女性科学家获得此奖。

2012年，莎菲·戈德瓦瑟（Shafi Goldwasser）是世界上第三位获得图灵奖的女性得主，肯定他们在密码学领域的贡献以及领先研究出有效验证机制的成果。

㈥ 全球首位图灵奖女性去世，她生前在计算机领域有什么贡献

法兰·艾伦，不仅是全球首位图灵奖女性得主，也是IBM历史上第一位女研究员、女院士，现代计算机编译器领域最杰出的女科学家。但令人惋惜的是在2020年的8月4日，她在她的第88个生日的当天去世了。法兰·艾伦，全名为法兰西斯·伊丽莎白·艾伦，美国的计算机科学家，全球首位图灵奖女性得主，也就是2006年的图灵奖的获奖得主。

她不仅在编译器设计和机器架构方面做出了创造性的贡献，也打破了计算机领域的男性垄断。即便在2002年退休后，仍一直坚持编写程序，还致力于鼓励女性从事计算机科学研究的教育培训项目。

㈦ 罗伯特·弗洛伊德的人物简介

（1936－2001）Robert W．Floyd
历届图灵奖得主基本上都有高学历、高学位，绝大多数有博士头衔。这是可以理解的，因为创新型人才需要有很好的文化素养，丰富的知识底蕴，因而必须接受良好的教育。但事情总有例外，1978年图灵奖获得者、斯坦福大学计算机科学系教授罗伯特·弗洛伊德就是一位“自学成才的计算机科学家”（a Self-Taught Computer Scientist）。
弗洛伊德1936年6月8日生于纽约。说他“自学成才”并不是说他没有接受过高等教育，他是芝加哥大学的毕业生，但学的不是数学或电气工程等与计算机密切相关的专业，而是文学，1953年获得文学士学位。
20世纪50年代初期美国经济不太景气，找工作比较困难，因学习文学而没有任何专门技能的弗洛伊德在就业上遇到很大麻烦，无奈之中到西屋电气公司当了二年计算机操作员，在IBM650机房值夜班。我们知道，早期的计算机都是以批处理方式工作的，计算机操作员的任务就是把程序员编写好的程序在卡片穿孔机（这是脱机的辅助外部设备）上穿成卡片，然后把卡片叠放在读卡机上输入计算机，以便运行程序。因此，操作员的工作比较简单，同打字员类似，不需要懂计算机，也不需要懂程序设计。但弗洛伊德毕竟是一个受过高等教育的人，又是一个有心人，干了一段时间的操作员，很快对计算机产生了兴趣，决心弄懂它，掌握它，于是他借了有关书籍资料在值班空闲时间刻苦学习钻研，有问题就虚心向程序员请教。白天不值班，他又回母校去听讲有关课程。这样，他不但在1958年又获得了理科学士学位，而且逐渐从计算机的门外汉变成计算机的行家里手。
1956年他离开西屋电气公司，到芝加哥的装甲研究基金会（Armour Research Foundation），开始还是当操作员，后来就当了程序员。1962年他被马萨诸塞州的Computer Associates公司聘为分析员。此时与Warsall合作发布Floyd-Warshall算法。1965年他应聘成为卡内基—梅隆大学的副教授，3年后转至斯坦福大学。1970年被聘任为教授。
之所以能这样快地步步高升，关键就在于弗洛伊德通过勤奋学习和深入研究，在计算机科学的诸多领域：算法，程序设计语言的逻辑和语义，自动程序综合，自动程序验证，编译器的理论和实现等方面都作出创造性的贡献。其中包括：1962年，弗洛伊德完成了Algol 60编译器的开发，成功投入使用，这是世界上最早的Algol 60编译器之一，而且弗洛伊德在这个编译器的开发中率先融入了优化的思想，使编译所生成的目标代码占用空间少，运行时间短。弗洛伊德优化编译的思想对编译器技术的发展产生了深刻的影响。随后，他又对语法分析进行了系统研究，优先文法（precedence grammar），限界上下文文法（bounded context grammar）等都是弗洛伊德在首先提出来的。优先文法解决了自底向上的语法分析中的首要任务：如何找到“句柄”，也就是当前需要进行归约的符号串。弗洛伊德通过对不同的符号定义不同的优先级，解决了这个问题。限界上下文文法则通过对上下文无关文法G中的两个推导：
*
S→βArβαγ
+
S→δαε
进行比较以确定α是否是δαε的句柄，以及产生方式A→α是否是唯一可进行归约的产生式。弗洛伊德经过研究，给出其充分必要条件为：β和δ的最后m个符号相同，丁和o/的最初n个终结符相同。这样一个上下文无关文法G就称为（m，n）限界上下文文法。
在算法方面，弗洛伊德和威廉姆斯（J．Williams）在1964年共同发明了着名的堆排序算法HEAPSORT，这是与英国学者霍尔 (C.A.R.Hoare，1980年图灵奖获得者）发明的QUICKSORT齐名的高效排序算法之一。此外还有直接以弗洛伊德命名的求最短路的算法，这是弗洛伊德利用动态规划（dynamic programming）的原理设计的一个高效算法。
在程序设计方面，计算机科学家非常关心的一个重要问题是如何表达和描述程序的逻辑，如何验证程序的正确性。1967年，在美国数学会AMS举行的应用数学讨论会上，弗洛伊德发表了那篇引起轰动并产生了深远影响的论文，即“如何确定程序的意义”（Assigning Meanings to Programs）。这篇论文在程序逻辑研究的历史上，是继麦卡锡（J．McCarthy，1971年图灵奖获得者）在1963年提出用递归函数作为程序的模型这一方法以后最重大的一个进展。
麦卡锡倡导的方法对于一般程序，包括大型软件确实是行之有效的，但它有一个不足，即对于许多以命令方式编写的软件，其中包括赋值语句，条件语句，用While实现循环的语句……对这样的程序用递归定义的函数去证明其正确性就很不方便了。正是为了解决这个问题，弗洛伊德在上述论文中提出了一种基于流程图的表达程序逻辑的方法。这个方法的主要特点就是在流程图的每一弧线上放置一个“标记”（tag），也就是一个逻辑断言，并且保证只要当控制经过这个弧线时该断言一定成立。弗洛伊德的主要贡献在于解决了基于这种标记的形式系统的细节，证明了这种系统的完备性，解决了如何证明程序终结的问题。弗洛伊德还引入了验证条件的概念，包括流程图的一个组成部分（方框、圆框等）及其人口和出口处的标记。为了证明带标记的流程图的正确性，只要证明其中每一组成部分的验证条件成立就行了。弗洛伊德提出的方法被叫做“归纳断言法”（inctive assertion method），或前后断言法（pre·and post-assertion method）。在框图每个断点i上所加的逻辑断言即标记就叫i点的归纳断言，说明程序执行经过此点时在各输入变量x和各程序变量丁之间应存在的关系，以谓词Pi(x,y）的形式表示。若程序从断点i经过路段。到下一断点j的验证条件以Ra(x，y）表示，丁的值在。上的变化以ha(x，y）表示，则只要能证明下式恒真：
（∨x）（∨y）[pi(x,y）∧Ra(x,y) Pj(x,ha(x,y))]
程序从i到j的部分正确性也就证明了。
虽然用归纳断言法不能证明程序的完全正确性，因为它必须以程序能够终结为前提，但由于弗洛伊德在论文中同时也考虑了如何证明程序终结的问题，因此弗洛伊德的归纳断言法也就有了普遍的意义。

㈧ 人工智能领域有哪几位科学家获图灵奖，他们分别为人工智能做出了什么贡献

图灵奖，是美国计算机协会（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
获奖原因：由于其在先进编程技术和编译架构方面的贡献。

㈨ 荣获过“图灵奖”的人物都有哪些，他们都是为何荣获的

图灵奖是计算机界最负盛名的一个奖项，有“计算机界的诺贝尔奖”之称，自1966年设立以来，直至2019年，图灵奖一共授予了72名获奖者。

首先来介绍一 下图灵奖，图灵奖的全称是“A.M. 图灵奖（A.M Turing Award）”。图灵奖其名取自计算机科学的先驱——英国科学家艾伦·麦席森·图灵。这个奖项是由美国计算机协会在1966年设立的，图灵奖的设立就是专门来奖励那些对计算机事业作出重要贡献的个人。

全球首位图灵奖女性得主为弗朗西斯·艾伦（Frances Allen）（1933年-2020年8月4日），除此荣誉外她还是首位 IBM 女院士、曾获得计算机女性协会颁发的 Augusta Ada Lovelace 奖。因阿尔茨海默病并发症，艾伦于今年去世。2006年艾伦因

“在优化编译器技术的理论和实践领域做出先驱性贡献，奠定了现代优化编译器和自动并行执行技术的基础”

成为图灵奖自设立以来的第一位女性得主。此后，只有另外两名女性获得该奖项：2008 年的芭芭拉·里斯科夫和 2012 年的沙菲·戈德瓦瑟。