当前位置:首页 » 数据仓库 » 数据库图灵奖获得者
扩展阅读
webinf下怎么引入js 2023-08-31 21:54:13
堡垒机怎么打开web 2023-08-31 21:54:11

数据库图灵奖获得者

发布时间: 2022-10-01 15:59:50

数据库系统发展过程中三位图灵奖获得者,每个人具体都做了什么贡献详细点

1973年 查理士·巴赫曼 en:Charles W. Bachman 网状数据库技术
1981年 埃德加·科德 en:Edgar F. Codd 数据库系统,尤其是关系型数据库
1998年 詹姆斯·尼古拉·格雷 en:James Gray 数据库与事务处理

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

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

③ 数据库发展历史是什么

数据库对于普通人来讲
就可以简单理解为有固定格式的数据集合,
专门为解决某一类数据保存和计算问题而存在的,
就像单位用的各种各样的报表和单据,
只不过软件会帮你保存管理这些单据和报表在计算机上,
帮你计算求和等等操作 生成你想要的各种数据报告。

利用数据库软件和计算机的高速运算特性,
可以大大提高工作效率和正确性。
减少工作时间成本和人力成本。

没有他们也可以,但是你不得不用手工的办法处理数据,
不管数据量多少都一样。

④ 如何评价Michael Stonebraker获得2014年图灵奖

他的影响跨越学术界和产业界,很难有在世者能与之媲美。而且此前他已经斩获美国工程院院士、IEEE软件系统奖、冯诺依曼奖和第一届SIGMOD Edgar F. Codd创新奖等多个重量级荣誉。

早在1970年代前期,Michael Stonebraker就在Edgar Codd的关系数据库论文启发下,组织伯克利的师生,开始开发最早的两个关系数据库之一Ingres(另一个是IBM System R),Ingres的基础上后来发展出Sybase和SQL Server两大主流数据库。Ingres在关系数据库的查询语言设计、查询处理、存取方法、并发控制和查询重写等技术上都有重大贡献。

⑤ 什么是数据库

数据库是存放数据的仓库。它的存储空间很大,可以存放百万条、千万条、上亿条数据。但是数据库并不是随意地将数据进行存放,是有一定的规则的,否则查询的效率会很低。当今世界是一个充满着数据的互联网世界,充斥着大量的数据。即这个互联网世界就是数据世界。数据的来源有很多,比如出行记录、消费记录、浏览的网页、发送的消息等等。除了文本类型的数据,图像、音乐、声音都是数据。
数据库是一个按数据结构来存储和管理数据的计算机软件系统。数据库的概念实际包括两层意思:
(1)数据库是一个实体,它是能够合理保管数据的“仓库”,用户在该“仓库”中存放要管理的事务数据,“数据”和“库”两个概念结合成为数据库。
(2)数据库是数据管理的新方法和技术,它能更合适的组织数据、更方便的维护数据、更严密的控制数据和更有效的利用数据。

发展现状
在数据库的发展历史上,数据库先后经历了层次数据库、网状数据库和关系数据库等各个阶段的发展,数据库技术在各个方面的快速的发展。特别是关系型数据库已经成为目前数据库产品中最重要的一员,80年代以来, 几乎所有的数据库厂商新出的数据库产品都支持关系型数据库,即使一些非关系数据库产品也几乎都有支持关系数据库的接口。这主要是传统的关系型数据库可以比较好的解决管理和存储关系型数据的问题。随着云计算的发展和大数据时代的到来,关系型数据库越来越无法满足需要,这主要是由于越来越多的半关系型和非关系型数据需要用数据库进行存储管理,以此同时,分布式技术等新技术的出现也对数据库的技术提出了新的要求,于是越来越多的非关系型数据库就开始出现,这类数据库与传统的关系型数据库在设计和数据结构有了很大的不同, 它们更强调数据库数据的高并发读写和存储大数据,这类数据库一般被称为NoSQL(Not only SQL)数据库。 而传统的关系型数据库在一些传统领域依然保持了强大的生命力。

数据库管理系统
编辑
数据库管理系统是为管理数据库而设计的电脑软件系统,一般具有存储、截取、安全保障、备份等基础功能。数据库管理系统可以依据它所支持的数据库模型来作分类,例如关系式、XML;或依据所支持的计算机类型来作分类,例如服务器群集、移动电话;或依据所用查询语言来作分类,例如SQL、XQuery;或依据性能冲量重点来作分类,例如最大规模、最高运行速度;亦或其他的分类方式。不论使用哪种分类方式,一些DBMS能够跨类别,例如,同时支持多种查询语言。

⑥ E. F. Codd的成就

E.F.Codd 是关系数据库的鼻祖。首次提出了数据库系统的关系模型,开创了数据库关系方法和关系数据理论的研究。为数据库技术奠定了理论基础。由于他的杰出贡献,于1981年获得ACM图灵奖。 图灵奖是计算机界的最高奖项,相当于其他学科的诺贝尔奖。
在数据库技术发展的历史上,1 9 7 0 年是发生伟大转折的一年。这一年的6 月,I B M 圣约瑟研究实验室的高级研究员埃德加·考特 (Edgar Frank Codd) 在Communications of ACM 上发表了《大型共享数据库数据的关系模型》一文。A C M 后来在1 9 8 3 年把这篇论文列为从 1 9 5 8 年以来的2 5 年中最具里程碑意义的2 5 篇论文之一,因为它首次明确而清晰地为数据库系统提出了一种崭新的模型, 即关系模型。 “关系”( r e l a t i o n ) 是数学中的一个基本概念,由集合中的任意元素所组成的若干有序偶对表示, 用以反映客观事物间的一定关系。如数之间的大小关系、人之间的亲属关系、商品流通中的购销关系等等。在自然界和社会中, 关系无处不在; 在计算机科学中, 关系的概念也具有十分重要的意义。计算机的逻辑设计、编译程序设计、算法分析与程序结构、信息检索等,都应用了关系的概念。而用关系的概念来建立数据模型,用以描述、设计与操纵数据库,考特是第一人。
由于关系模型既简单、又有坚实的数学基础, 所以一经提出, 立即引起学术界和产业界的广泛重视,从理论与实践两方面对数据库技术产生了强烈的冲击。在关系模型提出之后,以前的基于层次模型和网状模型的数据库产品很快走向衰败以至消亡,一大批商品化关系数据库系统很快被开发出来并迅速占领了市场。其交替速度之快、除旧布新之彻底是软件史上所罕见的。基于7 0 年代后期到8 0 年代初期这一十分引人注目的现象,1 9 8 1 年的图灵奖很自然地授予了这位“关系数据库之父”。在接受图灵奖时, 他做了题为“关系数据库:提高生产率的实际基础”的演说。(刊于1982 年2 月的C o m m u n i c a t i o n s o f A C M 第1 0 9 至第1 1 7 页,或见《A C M图灵奖演说集》第3 9 1 至第4 1 0页。)
考特原是英国人,1 9 2 3 年8 月1 9 日生于英格兰中部的港口城市波特兰。第二次世界大战爆发以后,年轻的考特应征入伍在皇家空军服役,1 9 4 2 至1 9 4 5 年期间任机长,参与了许多重大空战,为反法西斯战争立下了汗马功劳。二战结束以后,考特上牛津大学学习数学,于1 9 4 8 年取得学士学位以后到美国谋求发展。他先后在美国和加拿大工作,参加了I B M 第一台科学计算机7 0 1 以及第一台大型晶体管计算机 S T R E T C H 的逻辑设计,主持了第一个有多道程序设计能力的操作系统的开发。他自觉硬件知识缺乏,于是在6 0 年代初,到密歇根大学进修计算机与通信专业( 当时他已年近4 0 ) ,并于1 9 6 3 年获得硕士学位, 1 9 6 5 年取得博士学位。这使他的理论基础更加扎实,专业知识更加丰富。加上他在此之前十几年实践经验的积累,终于在1 9 7 0 年迸发出智慧的闪光,为数据库技术开辟了一个新时代。
由于数据库是计算机各种应用的基础,所以关系模型的提出不仅为数据库技术的发展奠定了基础,同时也成为促进计算机普及应用的极大推动力。在考特提出关系模型以后,I B M 投巨资开展关系数据库管理系统的研究,其“S y s t e m R”项目的研究成果极大地推动了关系数据库技术的发展,在此基础上推出的D B 2 和S Q L 等产品成为I B M 的主流产品。S y s t e m R本身作为原型并未问世,但鉴于其影响,ACM还是把1988 年的 “软件系统奖”授予了S y s t e m R开发小组( 获奖的6 个人中就包括1 9 9 8 年图灵奖得主J . G r a y )。这一年的软件系统奖还破例同时授给两个软件,另一个得奖软件也是关系数据库管理系统,即着名的I N G R E S 。
1 9 7 0 年以后,考特继续致力于完善与发展关系理论。1 9 7 2 年,他提出了关系代数和关系演算的概念, 定义了关系的并、交、投影、选择、连接等各种基本运算, 为日后成为标准的结构化查询语言(S Q L )奠定了基础。
考特还创办了一个研究所(关系研究所)和一家公司(C o d d & A s s o c i a t i o n s),他本人是美国国内和国外许多企业的数据库技术顾问。1 9 9 0 年,他编写出版了专着《数据库管理的关系模型: 第二版》, 全面总结了他几十年的理论探索和实践经验。
考特是最早提出数据库OLAP概念的科学家。考特在提出OLAP概念的时候指出OLAP必须满足以下的12条规则: 有多维度的视角。 对用户透明。 访问性好。 提供报告的性能要稳定,不能因为维度的增加而变差。 采用客户端/服务器架构。 数据的每个维度都相当。 对稀疏矩阵有动态优化功能。 多用户支持。 对于跨域的计算不做任何限制。 直观的数据操作。 灵活的报告体系。 任意多的维度和维度集合。

⑦ 标题 你见过或使用过哪些数据库应用系统呢我们国家在数据库方面发展怎样呢

南大通用,人大金仓
谈及数据库的发展历史,就不得不提及三位数据库领域的开拓者,分别是Frank、Micheal和JimGray,他们为数据库理论奠定了坚实的基础,都获得了图灵奖。
早在1972年,Micheal最早提出了Ingres数据库,于2014年获得图灵奖,Ingres数据库最后分化衍生为Sybase与Postgres两部分。
其中Postgres数据库有大量分析函数,适用于分析型事务,尤其是OLAP。1972年,埃里森在硅谷开发了Oracle数据库,再到1983年IBM开发了DB2数据库,同年Tdata诞生,直到1995年MySQL数据库诞生。
而如今的Oracle于2009年收购了MySQL,这样一来就同时拥有了Oracle和开源的MySQL两套数据库,MySQL的创始人在离开后又开发了一套数据库MariaDB,现在国内有很多银行,像亿联银行等新的银行都在使用MariaDB。

⑧ 图灵奖的历届得主

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