数据库领域图灵奖获得者
历届图灵奖获奖者
阿迪·萨莫尔（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图灵奖。
图灵奖简介
SQL语言的出现是现代数据 库发展中的里程碑事件。如 今SQL已经深入世界上千百 万用户的日常使用中，带来 了巨大的技术进步和市场价 值。它风靡于整个IT业。
2002年 10月 18日 2002 年 10 月 18 日 ， 由微软亚洲研究院和国家自 然科学基金委员会联合举办的第四届“ 然科学基金委员会联合举办的第四届 “ 二十一 世纪的计算” 世纪的计算 ” 大型国际学术研讨会在北京大学 百年纪念堂举行。 本次大会主题为“ 百年纪念堂举行 。 本次大会主题为 “ 高信度计 三位“ 图灵奖” 获得者、 算 ” 。 三位 “ 图灵奖 ” 获得者 、 国际知名计算 机专家及微软高级技术官员在大会上做了主题 报告， 报告 ， 并与来自北京地区主要科研院校的两千 三百多名研究人员和计算机系师生就计算科学 的未来进行了深入交流和探讨。 的未来进行了深入交流和探讨 。 参加本次大会 的三位“ 图灵奖” 获得者有： Gray博士 博士、 的三位 “ 图灵奖 ” 获得者有 ： Jim Gray 博士 、 姚期智( Yao)博士和 博士和Manuel Blum博士 博士。 姚期智 ( Andrew Yao) 博士和 Manuel Blum 博士 。 姚期智博士是全球获此殊荣的首位华裔科学家。 姚期智博士是全球获此殊荣的首位华裔科学家 。
关系elation是数学中的一个基本概念由集合中的任意元素所组成的若干有序偶对orderedpair表示用以反映客观事物间所存在的一定关系如数之间的大小关系一个组织中的成员之间的领导被领导关系商品流通中的购销关系产品零部件之间的装配关系等等
图灵奖简介
“图灵奖”最早设立于1966年， 是美国计算机协会在计算机技 术方面所授予的最高奖项，被 誉为“计算机界的诺贝尔奖”， 主要授予那些在计算机技术领 域做出突出贡献、对计算机产 业发展有长远和重要影响的个 人。迄今为止(2003)已有36位 科学家获此殊荣。
图灵奖
图灵奖（A.M. Turing Award，又译“杜林奖”），由美国计算机协会（ACM）于1966年设立，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。
其名称取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。
由于图灵奖对获奖条件要求极高，评奖程序又是极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。
因此它是计算机界最负盛名、最崇高的一个奖项，有“计算机界的诺贝尔奖”之称。
目前图灵奖由英特尔公司以及Google公司赞助，奖金为250,000美元。
第一个：艾伦·佩利(Alan J．Perlis)，（1922-1990）毕业于麻省理工学院，博士。
ALCOL语言和计算机科学的“催生者”，由于在ALGOL语言的定义和扩充上所作出的重大贡献，以及在创始计算机科学教育，使计算机科学成为一门独立的学科上所发挥的巨大作用而成为首届图灵奖当之无愧的获得者。
佩利1973年当选为美国艺术和科学院院士，1976年当选为美国工程院院士。
除了获得图灵奖外，他还在1984年获得AFIPS的教育奖，曾被普渡大学、滑铁卢大学等多所大学授予名誉博士学位。
1966年成为首届图灵奖的获得者，其图灵奖演讲稿为：“The Synthesis of Algorithmic Systems”(算法系统的合成)。
第二个：莫里斯·文森特·威尔克斯爵士，FREng，FRS（Sir Maurice Vincent Wilkes，1913年6月23日－），英国计算机科学家。
设计和制造了世界上第一台存储程序式电子计算机EDSAC，在“工程和软件等计算机领域都有许多开创性成果”。
1956年，他当选为皇家学会院士；英国计算机学会的创始人之一，并担任第一任主席（1957年-1960年）；1977年和1980年先后当选为美国工程院和美国科学院外籍院士；是国际信息处理联盟（IFIP）的主要发起人之一。
917469-大学计算机基础-图灵奖获得者
1.图灵奖简介图灵奖最早设立于1966年，是美国计算机协会在计算机技术方面所授予的最高奖项，被喻为计算机界的诺贝尔奖。
它是以英国数学天才Alan Turing先生的名字命名的，Alan Turing先生对早期计算的理论和实践做出了突出的贡献。
图灵奖主要授予在计算机技术领域做出突出贡献的个人。
而这些贡献必须对计算机业有长远而重要的影响。
迄今为止已有34位在计算机领域做出突出贡献的科学家获此殊荣。
1966年，A.J.Perlis因其在新一代编程技术和编译架构方面的贡献成为图灵奖的第一个得主。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。
任何人都可成为提名人。
美国计算机协会将组成评选委员会对被提名者进行严格的审核，并最终确定当年的获奖者。
2．历届图灵奖获得者1．1966年图灵奖获得者：艾伦•佩利（A.J.Perlis）PhD,MIT;Prof,Yale(was Prof at CMU)(deceased)——ALCOL语言和计算机科学的“催生者”2．1967年图灵奖获得者：莫里斯•威尔克斯（Maurice V.Wilkes）PhD,Cambridge;Prof,Cambridge——世界上第一台存储程序式计算机EDSAC的研制者3．1968年图灵奖获得者：理查德•哈明（Richard W.Hammin）Prof,Naval Postgraduate School(was at Bell)(deceased)——发明纠错码的大数学家和信息学专家4．1969年图灵奖获得者：马文•明斯基（Marvin Minsky）PhD,Princeton,Prof,MIT——“人工智能之父”和框架理论的创立者5．1970年图灵奖获得者：詹姆斯•威尔金森（J.H.Wilkinson）BS,Cambridge;staff,National Physical Laboratory,London——数值分析专家和研制ACE计算机的功臣6．1971年图灵奖获得者：约翰•麦卡锡（John McCarthy）PhD,Princeton;Prof,Stanford——“人工智能之父”和LISP语言的发明人7．1972年图灵奖获得者：埃德斯加•狄克斯特拉（Edsger W.Dijkstra）PhD,U Amsterdam;Prof,UT Austin——最先察觉“goto有害”的计算机科学大师8．1973年图灵奖获得者：查尔斯•巴赫曼（Charles W.Bachman）staff,Honeywell——“网状数据库之父”9．1974年图灵奖获得者：唐纳德•克努（Donald E.Knuth）PhD,Caltech;Prof,Stanford——经典巨著《计算机程序设计的艺术》的年轻作者10．1975年图灵奖获得者：赫伯特•西蒙和艾伦•纽厄尔Allen Newell---PhD,Stanford;Prof,CMU(deceased)Herbert A.Simon---PhD,Chicago;Prof,CMU(deceased)——人工智能符号主义学派的创始人11．1976年图灵奖获得者：米凯尔•拉宾和达纳•斯科特Michael O.Rabin---PhD,Princeton;Prof,HarvardDana S.Scott---PhD,Princeton;Prof,CMU——非确定性有限状态自动机理论的开创者12．1977年图灵奖获得者：约翰•巴克斯（John Backus）BS,Columbia;staff,IBM——FORTRAN和BNF的发明者13．1978年图灵奖获得者：罗伯特•弗洛伊德（Robert W.Floyd）BS,Chicago;Prof,Stanford——前后断言法的创始人14．1979年图灵奖获得者：肯尼思•艾弗森（Kenneth E.Iverson）——大器晚成的科学家，APL的发明人15．1980年图灵奖获得者：查尔斯•霍尔（C.Anthony R.Hoare）Prof,Oxford(now at Microsoft)——从QUICKSORT、CASE到程序设计语言的公理化16．1981年图灵奖获得者：埃德加•科德（Edgar F.Codd）PhD,Michigan;staff,IBM——“关系数据库之父”17．1982年图灵奖获得者：斯蒂芬•库克（Steven A.Cook）PhD,Harvard;Prof,U Toronto——NP完全性理论的奠基人18．1983年图灵奖获得者：肯尼思•汤普森和丹尼斯•里奇Ken Thompson---MS,Berkeley;staff,Bell-LabsDennis M.Ritchie---PhD,Harvard;staff,Bell-Labs——C和UNIX的发明者19．1984年图灵奖获得者：尼克劳斯•沃思（Niklaus Wirth）PhD,Berkeley;Prof,ETH Zurich——PASCAL之父及结构化程序设计的首创者20．1985年图灵奖获得者：理查德•卡普（Richard M.Karp）PhD,Harvard;Prof,Berkeley——发明“分枝限界法”的三栖学者21．1986年图灵奖获得者：约翰•霍普克洛夫特和罗伯特•陶尔扬John E.Hopcroft---PhD,Stanford;Prof,CornellRobert E.Tarjan---PhD,Stanford;Prof,Princeton——硕果累累的算法设计大师22．1987年图灵奖获得者：约翰•科克（John Cocke）staff,IBM——RISC概念的首创者23．1988年图灵奖获得者：伊万•萨瑟兰（Ivan E.Sutherland）IPhD,MIT;staff,Sun——计算机图形学之父24．1989年图灵奖获得者：威廉•卡亨（William V.Kahan）PhD,U Toronto;Prof,Berkeley——浮点计算的先驱25．1991年图灵奖获得者：罗宾•米尔纳（Robin Milner）Prof,Cambridge(was at U Edinburgh)PhD,MIT;Prof,MIT——标准元语言ML的开发者26．1992年图灵奖获得者：巴特勒•兰普森（Butler Lampson）PhD,Berkeley;staff,Microsoft——从Alto系统的首席科学家到微软的首席技术官27．1993年图灵奖获得者：尤里斯•哈特马尼斯和理查德•斯特恩斯PhD,Caltech;Prof,CornellRichard E.Stearns---PhD,Princeton;Prof,SUNY Albany——计算复杂性理论的主要奠基人28．1994年图灵奖获得者：爱德华•费根鲍姆和劳伊•雷迪Raj Reddy---PhD,Stanford;Prof,CMUEdward Feigenbaum(PhD,CMU;Prof,Stanford)——大型人工智能系统的开拓者29．1995年图灵奖获得者：曼纽尔•布卢姆（Manuel Blum）PhD,MIT;Prof,Berkeley——计算复杂性理论的主要奠基人之一30．1996年图灵奖获得者：阿米尔•伯努利（Amir Pnueli）PhD,Weizmann Institute;Prof,NYU——把时态逻辑引入计算机科学31．1997年图灵奖获得者：道格拉斯•恩格尔巴特（Douglas Engelbart）PhD,Berkeley;staff,SRI——鼠标器的发明人和超文本研究的先驱32．1998年图灵奖获得者：詹姆斯•格雷（James Gray）PhD,Berkeley;staff,Microsoft——数据库技术和“事务处理”专家33．1999年图灵奖获得者：弗雷德里克•布鲁克斯（Frederick P.Brooks,Jr.）PhD,Harvard;Prof,UNC——IBM360系列计算机的总设计师和总指挥34．2000年图灵奖获得者：姚期智（Andrew Chi-Chih Yao）PhD,UIUC;Prof,Princeton(now at清华)——对计算理论做出了诸多“根本性的、意义重大的”贡献图灵奖自创立以来获得该奖项的首位华裔学者35．2001年图灵奖获得者：Ole-Johan DahlKristen Nygaard---Profs,U Oslo——在设计编程语言SIMULA I和SIMULA67时产生的基础性想法是面向对象技术的肇始。
计算机科学领域的重要奖项与荣誉
计算机科学领域的重要奖项与荣誉计算机科学作为现代社会中关键的学科领域之一，培养和发展了无数的科学家和工程师，推动了人类社会的进步。
为了嘉奖在计算机科学领域做出卓越贡献的个人和团队，许多重要的奖项与荣誉被设立和颁发。
本文将介绍计算机科学领域的几个重要奖项与荣誉，包括图灵奖、ACM学院、ACM SIGMOD最佳论文奖、ACM SIGCHI最佳论文奖，以及IEEE Fellow。
一、图灵奖图灵奖是计算机科学领域最高荣誉之一，以纪念英国计算机科学先驱阿兰·图灵而设立。
该奖项由ACM（计算机协会）每年颁发一次，奖励在计算机科学和计算机工程领域做出杰出贡献的个人或集体。
获奖者除了获得10万美元的奖金，还享有崇高的国际声望。
二、ACM学院ACM学院是ACM设立的一个具有特殊荣誉称号的会员组织。
对于计算机科学领域作出重要贡献的学界和工业界人士，被选为ACM学院院士（Fellow）是一种重要的荣誉。
ACM学院每年通过严格的评选程序，选出在计算机科学研究、教育和实践方面有杰出贡献的个人，并授予其ACM学院院士称号。
三、ACM SIGMOD最佳论文奖ACM SIGMOD最佳论文奖是由ACM数据管理小组（SIGMOD）颁发的一个重要奖项，旨在奖励在数据库管理和相关领域做出杰出贡献的学术论文。
该奖项每年评选一次，获奖论文需要经过评审委员会的严格评选和筛选，最终选出对于数据库管理领域有重要影响的论文，并授予作者荣誉和奖金。
四、ACM SIGCHI最佳论文奖ACM SIGCHI最佳论文奖是由ACM人机交互小组（SIGCHI）颁发的一个重要奖项，旨在奖励在人机交互领域做出杰出贡献的学术论文。
该奖项每年评选一次，获奖论文需要经过评审委员会的严格评选和筛选，最终选出对于人机交互领域有重要影响的论文，并授予作者荣誉和奖金。
五、IEEE FellowIEEE Fellow是IEEE（国际电气和电子工程师协会）最高的会员级别，是对在电气工程和计算机科学领域作出杰出贡献的个人颁发的荣誉称号。
三位在数据库领域作出杰出贡献的图灵奖获得者简介
三位在数据库领域作出杰出贡献的图灵奖获得者简介2010-12-08 17:25图灵奖最早设立于1966年，是美国计算机协会在计算机技术方面所授予的最高奖项，被喻为计算机界的诺贝尔奖。
它是以英国数学天才Alan Turing先生的名字命名的，Alan Turing先生对早期计算的理论和实践做出了突出的贡献。
图灵奖主要授予在计算机技术领域做出突出贡献的个人。
而这些贡献必须对计算机技术有长远而重要的影响。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。
任何人都可成为提名人。
美国计算机协会将组成评选委员会对被提名者进行严格的审核，并最终确定当年的获奖者。
迄今为止已有3位在数据库领域做出突出贡献的科学家获此殊荣。
查尔斯·巴赫曼20世纪60年代中期以来，数据库技术的形成、发展和日趋成熟，使计算机数据处理技术跃上了一个新台阶，并且极大的推动了计算机的普及与应用。
因此，1973年的图灵奖首次授予在这方面作出杰出贡献的数据库先驱查尔斯·巴赫曼（Charles W.Bachman）。
巴赫曼1924年12月11日生于堪萨斯州的曼哈顿。
1948年在密歇根州立大学取得工学学士学位，1950年在宾夕法尼亚大学取得硕士学位。
20世纪50年代在Dow 化工公司工作，1961－1970年在通用电气公司任程序设计部门经理，1970－1981年在Honeywell公司任总工程师，同时兼任Culllinet软件公司的副总裁和产品经理。
1983年巴赫曼创办了自己的公司Bachman Information System，Inc.。
巴赫曼在数据库方面的主要贡献有两项，第一就是在通用电气公司任程序设计部门经理期间，主持设计与开发了最早的网状数据库管理系统IDS。
IDS于1964年推出以后，成为最受欢迎的数据库产品之一，而且它的设计思想和实现技术被后来的许多数据库产品所仿效。
图灵奖的三位获奖人
巴赫曼1924年12月11日生于堪萨斯州的曼哈顿。1948年在 密歇根州立大学取得工程学士学位，1950年在宾夕法尼亚 大学取得硕士学位。20世纪50年代在Dow化工公司工作， 1961- 1970年在通用电气公司任程序设计部门经理，19701981年在Honeywell公司任总工程师，同时兼任Cullinet软 件公司的副总裁和产品经理。 Cullinet公司对中国人来说 知之者不多，但这个公司当时在美国很有名气，它是1978 年第一家在纽约股票交易所上市的软件公司，其时微软在 新墨西哥州的阿尔伯克基开张不久，鲜为人知，它的股票 是1986年上市的，比Cullinet 晚8年之久。但Cullinet最终被 CA公司购并。1983年巴赫曼创办了自己的公司Bachman Information System，Inc.。
后来出现了文件管理系统FMS（File Management System） 作为应用程序和数据文件之间的接口，一个应用程序通过 FMS可以和若干文件打交道，在一定程度上增加了数据处 理的灵活性。但这种方式仍以分散、互相独立的数据文件 为基础，数据冗余、数据不一致性、处理效率低等问题仍 不可避免。这些缺点在较大规模的系统中尤为突出。以美 国在20世纪60年代初制定的阿波罗登月计划为例，阿波罗 飞船由约200万个零部件组成，它们分散在世界各地制造 生产。为了掌握计划进度及协调工程进展，阿波罗计划的 主要合约者Rock-well公司曾研制、开发了一个基于磁带的 零部件生产计算机管理系统，系统共用了18盘磁带，虽然 可以工作，但效率极低，18盘磁带中60%是冗余数据，维 护十分困难。这个系统的状况曾一度成为实现阿波罗计划 的重大障碍之一。
DBTG首次确定了数据库的三层体系结构，明确 了数据库管理员DBA（DataBase Administrator）的概念，规定了DBA的作用 与地位。DBTG系统虽然是一种方案而非实际的 数据库，但它所提出的基本概念却具有普遍意义， 不但国际上大多数网状数据库管理系统，如 IDMS、PRIME、DBMS、DMS 170、 DMS II和DMS 1100等都遵循DBTG模型， 而且对后来产生和发展的关系数据库技术也有很 重要的影响，其体系结构也遵循DBTG的三级模 式（虽然名称有所不同）。
图灵奖简介
吉姆·格雷 “ 之父” 吉姆 格雷—“SQL之父” 格雷 之父
SQL是一种用来从关系数据库中获取信息 的语言，它使人们在使用数据库的过程 中可以更便捷地组织、恢复和调用信息。 同样它在计算机系统网络技术中也发挥 着广泛的作用。它为Oracle 、Sybase、 Informix等美国著名的数据库公司提供 了核心技术，帮助他们在上个世纪80年 代跟上了网络的发展步伐。有了SQL，它 们没有被淘汰出局！
图灵奖简介
“图灵奖”最早设立于1966年， 是美国计算机协会在计算机技 术方面所授予的最高奖项，被 誉为“计算机界的诺贝尔奖”， 主要授予那些在计算机技术领 域做出突出贡献、对计算机产 业发展有长远和重要影响的个 人。迄今为止(2003)已有36位 科学家获此殊荣。
图灵（1912～1954）Turing，Alan Mathiso 图灵
查尔斯·巴赫曼 “ 查尔斯 巴赫曼—“网状数据库 巴赫曼 之父” 之父”
20世纪60年代中期以来，数据库技术的 形成、发展和日趋成熟，使计算机数据 处理技术跃上了一个新台阶，并从而极 大地推动了计算机的普及与应用。因此， 1973年的图灵奖首次授予在这方面作出 杰出贡献的数据库先驱查尔斯·巴赫曼 （Chares W．Bachman）。
在计算机科学中，关系的概念也十分普遍， 在计算机科学中，关系的概念也十分普遍，计算 机的逻辑设计，编译程序设计，算法分析和程序 机的逻辑设计，编译程序设计， 结构，信息检索等，都应用了关系的概念。 结构，信息检索等，都应用了关系的概念。而用 关系的概念来建立数据模型，用以描述、 关系的概念来建立数据模型，用以描述、设计与 操纵数据库，则是科德这篇论文的创举。 操纵数据库，则是科德这篇论文的创举。由于关 系模型简单明了，有坚实的数学基础，一经提出， 系模型简单明了，有坚实的数学基础，一经提出， 立即引起学术界和产业界的广泛重视和响应，从 立即引起学术界和产业界的广泛重视和响应， 理论与实践两个方面都对数据库技术产生了强烈 的冲击。 的冲击。基于层次模型和网状模型的数据库产品 很快走向衰败， 很快走向衰败，一大批关系数据库系统很快被开 发出来并迅速商品化，占领了市场， 发出来并迅速商品化，占领了市场，其交替速度 之快是软件历史上所罕见的。基于这一十分引人 之快是软件历史上所罕见的。 注目的现象，1981年的图灵奖很自然地授予了埃德 注目的现象，1981年的图灵奖很自然地授予了埃德 科德—这一 加·科德 这一“关系数据库之父”。 科德 这一“关系数据库之父”
图灵奖获得者(2010修订版)
历届图灵奖获得者图灵奖获得者分类及各项指标统计(1966--2006)总共获奖人数(1966--2006)：41届，51人。
获奖科学家国籍分布：美国: 36英国: 5以色列: 3加拿大: 2挪威: 2荷兰: 1瑞士: 1丹麦: 1图灵奖获得者最高学位分布：博士学位：39硕士学位：4学士学位：5无法了解: 3图灵奖获得者获奖时年龄分布：70-79(4): 70(Ole-Johan Dahl), 72(Douglas Engelbart), 75(Kristen Nygaard), 77(PeterNaur)60-69(7)：61(Vinton Cerf), 62(John Cocke), 63(Alan Kay), 64(Fernando Corbato), 65(Juris Hartmanis), 68(Frederick P. Brooks), 68(Robert Kahn)50-59(19)：50, 50, 50, 50, 51, 53, 53, 54, 54 (姚期智), 55, 55, 55, 56, 57, 57, 57, 58, 59, 5940-49(15)：40, 42, 42, 42, 42, 43, 44, 44, 44, 45, 46, 47, 48, 49, 4930-39(2)：36(Donald Knuth), 38(Robert E. Tarjan)Unknown(2): Richard E. Stearns, James N. Gray, Frances Allen图灵奖获得者去世人数(截止5/19/2006)统计：12获奖科学家研究方向分布：硬件，体系结构(2)Maurice V. Wilkes (1967) -- 第一台具有内部存储程序的计算机EDSACJohn Cocke (1987) -- RISC & 编译优化程序设计语言(10)Alan J. Perlis (1966) -- ALGOLEdsger Wybe Dijkstra (1972) -- ALGOLJohn W. Backus (1977) -- FORTRANKenneth Eugene Iverson (1979) -- APL程序语言Niklaus Wirth (1984) -- PASCALJohn Cocke (1987) -- RISC & 编译优化Ole-Johan Dahl，Kristen Nygaard (2001) -- Simula语言和面向对象概念Alan Kay(2003) -- SmallTalk语言和面向对象程序设计Peter Naur(2005) -- ALGOL60以及编译设计Frances Allen(2006) -- 编译优化形式语言, 程序语言语义(4)Robert W. Floyd (1978) -- 编程语言语义，自动程序验证C. Antony R. Hoare (1980) -- Hoare Logic, CSPRobin Milner (1991) -- LCF，ML，CCS，PI-calculusAmir Pnueli (1996) -- 时序逻辑和系统验证算法设计(10)Richard Hamming (1968) -- 汉明码James Hardy Wilkinson (1970) -- 数值分析Donald E. Knuth -- Art of Computer ProgrammingJohn E. Hopcroft，Robert Endre. Tarjan (1986) -- 数据结构和算法设计William (Velvel) Morton Kahan (1989) -- 浮点运算姚期智(Andrew Chi-Chih Yao) (2000) -- 伪随机数复杂性，密码系统和通讯复杂性Ronald L. Rivest, Adi Shamir, Leonard M. Adleman(2002) -- 公钥密码技术--RSA计算理论，自动机，计算复杂性(7)Dana Stewart Scott (1976) -- 自动机Michael Oser Rabin (1976) -- 自动机Stephen Arthur Cook (1982) -- NP完全性Richard Manning Karp (1985) -- 证明一个问题是否是属于NP完全Juris Hartmanis，Richard Edwin Stearns (1993) -- 计算复杂性Manuel Blum (1995) -- 计算复杂性，密码系统和程序检查验证人工智能(6)Marvin Lee Minsky (1969) -- 神经元网络John McCarthy (1971) -- LISPAllen Newell，Herbert Simon (1975) -- Logic Theory MachineRaj Reddy，Edward Feigenbaum(1994) -- 专家系统操作系统(4)Dennis MacAlistair Ritchie，Ken Thompson (1983) -- UNIX Fernando Jose Corbato (1990) -- 分时系统Frederick P. Brooks(1999) -- IBM System360 操作系统数据库(3)Charles W. Bachman (1973) -- 数据库Edgar Frank Codd (1981) -- 关系数据模型James Gray(1998) -- 数据库和事务处理图形技术和交互式系统(2)Ivan Edward Sutherland (1988) -- 图形技术，CADDouglas Engelbart(1998) -- 交互式系统，鼠标发明人网络通讯(2)Vinton Gray Cerf (2004) -- Internet TCP/IP协议Robert Kahn(2004) -- Internet分享人名：年份：目的：国籍：本科学校：研究生学校：研究方向：获奖年龄：贡献形式：地位：Herbert Simon1975表彰其在开始于与在RAND(兰德)公司的J. C. Shaw的合作，然后与Carnegie-Mellon Unviersity(CMU)的众多教授和学生的合作的二十多年的科学生涯中，他们在人工智能，认知科学，编目处理方面作出了(卓越的)基础研究。
历届图灵奖得主
年份姓名贡献领域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语言定义清晰，是许多现代程序设计语言的原型。
三位在数据库领域作出杰出贡献的图灵奖获得者简介
三位在数据库领域作出杰出贡献的图灵奖获得者简介2010-12-08 17:25图灵奖最早设立于1966年，是美国计算机协会在计算机技术方面所授予的最高奖项，被喻为计算机界的诺贝尔奖。
它是以英国数学天才Alan Turing先生的名字命名的，Alan Turing先生对早期计算的理论和实践做出了突出的贡献。
图灵奖主要授予在计算机技术领域做出突出贡献的个人。
而这些贡献必须对计算机技术有长远而重要的影响。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。
任何人都可成为提名人。
美国计算机协会将组成评选委员会对被提名者进行严格的审核，并最终确定当年的获奖者。
迄今为止已有3位在数据库领域做出突出贡献的科学家获此殊荣。
查尔斯·巴赫曼20世纪60年代中期以来，数据库技术的形成、发展和日趋成熟，使计算机数据处理技术跃上了一个新台阶，并且极大的推动了计算机的普及与应用。
因此，1973年的图灵奖首次授予在这方面作出杰出贡献的数据库先驱查尔斯·巴赫曼（Charles W.Bachman）。
巴赫曼1924年12月11日生于堪萨斯州的曼哈顿。
1948年在密歇根州立大学取得工学学士学位，1950年在宾夕法尼亚大学取得硕士学位。
20世纪50年代在Dow 化工公司工作，1961－1970年在通用电气公司任程序设计部门经理，1970－1981年在Honeywell公司任总工程师，同时兼任Culllinet软件公司的副总裁和产品经理。
1983年巴赫曼创办了自己的公司Bachman Information System，Inc.。
巴赫曼在数据库方面的主要贡献有两项，第一就是在通用电气公司任程序设计部门经理期间，主持设计与开发了最早的网状数据库管理系统IDS。
IDS于1964年推出以后，成为最受欢迎的数据库产品之一，而且它的设计思想和实现技术被后来的许多数据库产品所仿效。
图灵奖及得主
图灵奖获得者总结(截止2005年)2009-09-08 18:14通过从1966年开始的图灵奖，逐年介绍当年的图灵奖获得者。
到目前为止，是图灵奖的第一个40年(1966–2005)。
总共有50位杰出的科学家获得了此荣誉。
到现在为止（2008年2月8日）近2年过去了。
新的4位图灵奖获得者也产生了（2006年一位，2007年三位）。
笔者在修订此书时，也一并将最新的获奖科学家收录于此。
另外，两年来，也发生了两位图灵奖获得者科学家一位失踪，一位离开人世的悲痛消息。
他们分别是1998年图灵奖获得者、著名的数据库研究领域科学家James Gray和1977年图灵奖获得者、Fortan程序语言和BNF范式的发明人John Backus。
他们的失踪和离世是全人类的损失。
笔者坚信，他们的名字必将与他们在其所在研究领域的发明创造一样，流芳百世。
笔者希望通过这样的方式，提供给读者一个快速，综合的渠道，可以展开并了解历届图灵奖获得者的生平、研究贡献和相关领域的发展和历史上的一些重要文献。
该电子书籍可以适用于数学和计算机相关领域的在校学生，研究生作为课外读物。
也可以适用于计算机相关工程技术人员业余时间阅读。
谨以此书献给为中国信息产业和计算机界的人们! 希望不久的将来，中国在计算领域也产生为共享的人类文明做出重要贡献的科学家!获奖科学家国籍分布：美国:39 英国:5 以色列:3 加拿大:2 挪威:2 荷兰:1 瑞士:1 丹麦:1 法国:1图灵奖获得者最高学位分布：博士学位：39 硕士学位：3 学士学位：5 无法了解:3图灵奖获得者获奖时年龄分布：70-79(4): 70(Ole-Johan Dahl), 72(Douglas Engelbart), 75(Kristen Nygaard), 77(Peter Naur)60-69(7)：61(Vinton Cerf), 62(John Cocke), 63(Alan Kay), 64(Fernando Corbato), 65(Juris Hartmanis), 68(Frederick P. Brooks), 68(Robert Kahn)50-59(19)：50, 50, 50, 50, 51, 53, 53, 54, 54 (姚期智), 55, 55, 55, 56, 57, 57, 57, 58, 59, 5940-49(15)：40, 42, 42, 42, 42, 43, 44, 44, 44, 45, 46, 47, 48, 49, 4930-39(2)：36(Donald Knuth), 38(Robert E. Tarjan)Unknown(2): Richard E. Stearns, James N. Gray图灵奖获得者去世人数(As of 5/19/2006)统计：12获奖科学家研究方向分布：硬件，体系结构(2)Maurice V. Wilkes (1967) —第一台具有内部存储程序的计算机EDSACJohn Cocke (1987) —RISC&编译优化程序设计语言(11)Alan J. Perlis (1966) — ALGOLEdsger Wybe Dijkstra (1972) — ALGOLJohn W. Backus (1977) — FORTRANKenneth Eugene Iverson (1979) —APL程序语言Niklaus Wirth (1984) — PASCALJohn Cocke (1987) —RISC & 编译优化Ole-Johan Dahl，Kristen Nygaard (2001) —Simula语言和面向对象概念Alan Kay(2003) —SmallTalk语言和面向对象程序设计Peter Naur(2005) —ALGOL60以及编译设计Frances E Allen(2006)–并行编译技术形式语言, 程序语言语义(4)Robert W. Floyd (1978) —编程语言语义，自动程序验证C. Antony R. Hoare (1980) — Hoare Logic, CSPRobin Milner (1991) —LCF，ML，CCS，PI-calculusAmir Pnueli (1996) —时序逻辑和系统验证Edmund M. Clarke（2007）–时序逻辑模型检查E. Allen Emerson （2007）–时序逻辑模型检查Joseph Sifakis （2007）–时序逻辑模型检查算法设计(10)Richard Hamming (1968) —汉明码James Hardy Wilkinson (1970) —数值分析Donald E. Knuth — Art of Computer ProgrammingJohn E. Hopcroft，Robert Endre. Tarjan (1986) —数据结构和算法设计William (Velvel) Morton Kahan (1989) —浮点运算姚期智(Andrew Chi-Chih Yao) (2000) —伪随机数复杂性，密码系统和通讯复杂性Ronald L. Rivest, Adi Shamir, Leonard M. Adleman(2002) —公钥密码技术–RSA计算理论，自动机，计算复杂性(7)Dana Stewart Scott (1976) —自动机Michael Oser Rabin (1976) —自动机Stephen Arthur Cook (1982) —NP完全性Richard Manning Karp (1985) —证明一个问题是否是属于NP完全Juris Hartmanis，Richard Edwin Stearns (1993) —计算复杂性Manuel Blum (1995) —计算复杂性，密码系统和程序检查验证人工智能(6)Marvin Lee Minsky (1969) —神经元网络John McCarthy (1971) — LISPAllen Newell，Herbert Simon (1975) —Logic Theory Machine Raj Reddy，Edward Feigenbaum(1994) —专家系统操作系统(4)Dennis MacAlistair Ritchie，Ken Thompson (1983) —UNIX Fernando Jose Corbato (1990) —分时系统Frederick P. Brooks(1999) —IBM System360 操作系统数据库(3)Charles W. Bachman (1973) —数据库Edgar Frank Codd (1981) —关系数据模型James Gray(1998) —数据库和事务处理图形技术和交互式系统(2)Ivan Edward Sutherland (1988) —图形技术，CADDouglas Engelbart(1998) —交互式系统，鼠标发明人网络通讯(2)Vinton Gray Cerf (2004) —Internet TCP/IP协议。
数据库专家：迈克尔·斯通布雷克人物简介
获得ACM杰出科学家
奖（ACM Fellow）
• 计算机科学领域的最高荣誉
• ACM的认可与荣誉
• 美国政府的最高荣誉
• 对数据库技术的杰出贡献的认可
• 对数据库领域的突出贡献
• 对计算机科学领域的杰出贡献的
认可
02
迈克尔·斯通布雷克的关键技术与成果
迈克尔·斯通布雷克在关系型数据库方面的研究与创新
迈克尔·斯通布雷克的兴趣爱好与个性特点
兴趣爱好
个性特点
• 对计算机的浓厚兴趣
• 勤奋刻苦
• 对音乐的热爱与欣赏
• 追求卓越与创新
迈克尔·斯通布雷克的社会责任与公益事业
社会责任
• 对数据库技术发展的推动作用
• 对数据库领域人才的培养与选拔
公益事业
• 参与公益事业与志愿者活动
• 对教育事业的关注与支持
CREATE TOGETHER
DOCS
DOCS SMART CREATE
数据库专家：迈克尔·斯通布雷克人物简介
01
迈克尔·斯通布雷克的背景与成就
迈克尔·斯通布雷克的成长经历与教育背景
获得斯坦福大学的计算机科学博士学位
• 深入研究数据库技术
• 发表论文与获得研究基金
出生于美国纽约州的一个犹太家庭
• 早期对计算机产生浓厚兴趣
• 参与数据库技术教育的课程设计与教学
• 促进数据库技术教育的创新与进步
05பைடு நூலகம்
迈克尔·斯通布雷克的生平轶事与个人品质
迈克尔·斯通布雷克的生平经历与家庭背景
生平经历
• 美国纽约州的一个犹太家庭
• 获得麻省理工学院的计算机科学学士学位
• 获得斯坦福大学的计算机科学博士学位
历届图灵奖得主
历届图灵奖得主图灵奖-----计算机的诺贝尔奖图灵奖得主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）。
历届图灵奖获得者
历届图灵奖获得者(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，以及在网络方面卓越的领导。
1991年 2000年图灵奖获得者
子图片
密码系统和程序检验先驱，计算复杂性理论的主要奠基人之一，第三 十届（1995年）图灵奖得主。Blum是卡内基梅隆大学计算机科学教授，也 是世界上理论计算机学大师。他被选举成为美国国家科学院（National Academy of Sciences）的成员，这对于任何一位美国的科学家或是工程 师来说都是最高的荣誉。
罗宾·米尔纳（Robin Milner），英国计算机科学家。生于1934年1 月13日，1991年获得世界计算机领域最高奖“图灵奖”。在计算机程序设 计语言方面，米尔纳和戈顿等人一起提出了形式化逻辑系统的数学模型， 实现了他称之为LCF的一个系统——“可计算函数的逻辑”。另一方面的 贡献是关于并发计算（concurrent computing）和并行计算（parallel computing）。
父亲是波兰移民至美国的分析化学家，母亲是乌克兰人，他们生有三 个孩子：爱德华、米切尔和Glenda。爱德华有著神童的一切特质，米切尔 却非。
爱德华·费根鲍姆并不享受他的中小学生活。他在12岁时自学钢琴， 高中时自学微积分。他又从父亲的朋友得到一部有交换线路的机器和一份 由克劳德·艾尔伍德·香农所写、关于布林逻辑的论文。这些东西都令费 根鲍姆着迷。
图灵奖
历届图灵奖获奖者天才科学家詹姆斯-格雷海上神秘失踪如果没有美国科学家詹姆斯·格雷，那么世界大概不会是今天的样子，自动提款机、网上购物、甚至谷歌地图(GoogleEarth)的问世或许都要推迟。
但是这个一生都致力于把人与人连通起来的技术天才却在驾船出海后与所有人失去了联系。
美国海岸警卫队经过几天搜索仍一无所获。
詹姆斯·格雷是图灵奖诞生32年的历史上，继数据库技术的先驱查尔斯·巴赫曼（Charles W．Bachman）和关系数据库之父埃德加·科德（Edgar F．Codd）之后，第3位因在推动数据库技术的发展中做出重大贡献而获此殊荣的学者。
1月28日早上，格雷独自驾驶一条长40英尺的游艇，驶往位于旧金山金门大桥以西25英里的费拉隆岛。
他告诉家人，他要为去年过世的97岁的老母亲撒骨灰，并打算当晚返回。
早上10点左右，他的妻子和女儿接到他的电话，当时一切如常，他赞叹天气很好，有海豚在船周围游来游去，还说接下来有几个小时他将收不到电话信号。
然后，格雷消失了。
到31日为止，海岸警卫队沿着太平洋沿岸，搜索了从蒙特里海湾到俄勒冈的金1.6万平方英里的海域，既没有发现格雷，也没有找到他的船。
令救援人员想不透的是，格雷究竟遭遇了什么？据说，28日天气很好，海上风小浪缓，而且能见度极佳。
格雷的航程来回只有60英里，他从一条商用运河出发，穿过金门大桥后就是宽阔的海面，只需一两小时就能抵达目的地。
如果说他在路上突然出现健康问题，比如心脏病，那么他的船也应该被发现。
如果说游艇遇到水下暗礁或与鲸鱼相撞而翻船沉没，格雷在此前也应该有足够时间发出求救信号，只要附近有一条船在22至23英里的范围内，就能接受到。
然而，格雷就这么消失了，没有留下任何线索。
人物简介：格雷生于1944年，在著名的加州大学伯克利分校计算机科学系获得博士学位。
其博士论文是有关优先文法语法分析理论的。
学成以后，他先后在贝尔实验室、IBM、Tandem、DEC等公司工作。
飞行员埃德加弗兰克获得图灵奖的过程
飞行员埃德加弗兰克获得图灵奖的过程埃德加·弗兰克·科德（EdgarF.Codd，1923－2003）是密执安大学哲学博士，IBM公司研究员，被誉为“关系数据库之父”。
1970年，科德发表题为“大型共享数据库的关系模型”的论文，文中首次提出了数据库的关系模型。
由于关系模型简单明了、具有坚实的数学理论基础，所以一经推出就受到了学术界和产业界的高度重视和广泛响应，并很快成为数据库市场的主流。
20世纪80年代以来，计算机厂商推出的数据库管理系统几乎都支持关系模型，数据库领域当前的研究工作大都以关系模型为基础。
在数据库技术发展的历史上，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 篇论文之一，因为它首次明确而清晰地为数据库系统提出了一种崭新的模型，即关系模型。
E.F.Codd 是关系数据库的鼻祖。
首次提出了数据库系统的关系模型，开创了数据库关系方法和关系数据理论的研究。
为数据库技术奠定了理论基础。
由于他的杰出贡献，于1981年获得ACM图灵奖。
图灵奖是计算机界的最高奖项，相当于其他学科的诺贝尔奖。
历届图灵奖获得者
历届图灵奖获得者(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 . 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, 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，以及在网络方面卓越的领导。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
三位在数据库领域作出杰出贡献的图灵奖获得者简介图灵奖最早设立于1966年，是美国计算机协会在计算机技术方面所授予的最高奖项，被喻为计算机界的诺贝尔奖。
它是以英国数学天才Alan Turing先生的名字命名的，Alan Turing先生对早期计算的理论和实践做出了突出的贡献。
图灵奖主要授予在计算机技术领域做出突出贡献的个人。
而这些贡献必须对计算机技术有长远而重要的影响。
每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。
任何人都可成为提名人。
美国计算机协会将组成评选委员会对被提名者进行严格的审核，并最终确定当年的获奖者。
迄今为止已有3位在数据库领域做出突出贡献的科学家获此殊荣。
查尔斯·巴赫曼20世纪60年代中期以来，数据库技术的形成、发展和日趋成熟，使计算机数据处理技术跃上了一个新台阶，并且极大的推动了计算机的普及与应用。
因此，1973年的图灵奖首次授予在这方面作出杰出贡献的数据库先驱查尔斯·巴赫曼（CharlesW.Bachman）。
巴赫曼1924年12月11日生于堪萨斯州的曼哈顿。
1948年在密歇根州立大学取得工学学士学位，1950年在宾夕法尼亚大学取得硕士学位。
20世纪50年代在Dow化工公司工作，1961－1970年在通用电气公司任程序设计部门经理，1970－1981年在Honeywell公司任总工程师，同时兼任Culllinet软件公司的副总裁和产品经理。
1983年巴赫曼创办了自己的公司Bachman Information System，Inc.。
巴赫曼在数据库方面的主要贡献有两项，第一就是在通用电气公司任程序设计部门经理期间，主持设计与开发了最早的网状数据库管理系统IDS。
IDS于1964年推出以后，成为最受欢迎的数据库产品之一，而且它的设计思想和实现技术被后来的许多数据库产品所仿效。
其二就是巴赫曼积极推动与促进了数据库标准的制定，那就是美国数据系统语言委员会CODASYL下属的数据库任务组DBTG提出的网状数据库模型及数据定义和数据操纵语言，即DDL和DML的规范说明，于1971年推出了第一个正式报告—DBTC报告，成为数据库历史上具有里程碑意义的文献。
DBTG首次确定了数据库的三层体系结构，明确了数据库管理员DBA(DataBase Administrator)的概念，规定了DBA的作用与地位。
DGTG系统虽然是一种方案而非实际的数据库，但它所提出的基本概念却具有普遍意义，不但国际上大多数网状数据库管理系统，如IDMS、PRIME DBMS、DMS 170、DMS Ⅱ和DMS 1100等都遵循或基本遵循DBTG模型，而且对后来产生和发展的关系数据库技术也有很重要的影响，其体系结构也遵循DBTG的三级模式。
由于巴赫曼在以上两方面的杰出贡献，巴赫曼被理所当然地公认为“网状数据库之父”或“DBTG之父”，在数据库技术的产生、发展与推广应用等各方面都发挥了巨大的作用。
20世纪70年代以后，由于关系数据库的兴起，网状数据库受到冷落。
但随着面向对象技术的发展，有人预言网状数据库将有可能重新受到人们的青睐。
但无论这个预言是否实现，巴赫曼作为数据库技术先驱的历史作用和地位是学术界和产业界普遍承认的。
埃德加·科德在数据库技术发展的历史上，1970年是发生伟大转折的一年。
这一年的6月，IBM圣约瑟研究实验室的高级研究员埃德加·科德（Edgar Frank Codd）在Communications of ACM上发表了题为“用于大型共享数据库的关系数据模型”一文。
ACM后来在1983年把这篇论文列为从1958年以来的四分之一个世纪中具有里程碑式意义的最重要的25篇研究论文之一，因为它首次明确而清晰地为数据库系统提出了一种崭新的模型即关系模型。
用关系的概念来建立数据模型，用以描述、设计与操纵数据库，是Codd在1970年的这篇论文中的创举。
由于关系模型简单明了，有坚实的数学基础，一经提出，立即引起学术界和产业界的广泛重视和响应，从理论与实践两个方面都对数据库技术产生了强烈的冲击。
在关系模型提出之前已经存在多年的基于层次模型和网状模型的数据库产品很快走向衰败以至消亡，一大批关系数据库系统很快被开发出来并迅速商品化，占领了市场，其交替速度之快，除旧布新之彻底是软件史上所罕见的。
基于20世纪70年代中后期和80年代初期这一十分引人注目的现象，1981年的图灵奖很自然地授予了这位“关系数据库之父”。
Codd原是英国人，1923年8月19日生于英格兰中部濒临大西洋的港口城市波特兰(Portland)。
第二次世界大战爆发以后，年青的Codd应征人伍，在皇家空军服役，1942－1945年间任机长，参与了许多惊心动魄的空战，为反法西斯战争立下了汗马功劳。
二战结束以后，Codd上牛津大学学习数学，于1948年取得学士和硕士学位以后，远渡大西洋到美国谋求发展，先在IBM公司取得一个职位，为IBM初期的计算机之一SSEC(Selective Sequence Electronic Calculator)编制程序，为他的计算机生涯奠定了基础。
1953年，他应聘到加拿大渥太华的Computing Device公司工作，出任加拿大开发导弹项目的经理。
1957年Codd重返美国IBM，任“多道程序设计系统”的部门主任，其间参加了IBM第一台科学计算机701和第一台大型晶体管计算机STRETCH的逻辑设计。
STRETCH完成于1961年，它有许多创新技术，因而在计算机发展史上有重要意义和影响。
Codd在STRETCH的研制中主持了第一个有多道程序设计能力的操作系统的开发。
1959年11月，他在《ACM通讯》上发表的介绍STRETCH的多道程序操作系统的文章，是这方面的最早的学术论文之一。
而尤其难能可贵的是，Codd由于在工作中发觉自己缺乏硬件知识，影响了在这些重大工程中发挥更大的作用，在20世纪60年代初毅然决定重返大学校园(当时他已年近40)，到密歇根大学进修计算机与通信专业，并于1963年获得硕士学位，1965年又获得博士学位。
这使他的理论基础更加扎实，专业知识更加丰富，加上他在此之前十几年的实践经验的丰富积累，终于在1970年迸发出智慧的闪光，为数据库技术开辟了一个新时代。
由于数据库是计算机各种应用的基础，关系模型的提出不仅为数据库技术的发展奠定了基础，同时也为计算机的普及应用提供了极大的动力。
在Codd提出关系模型以后，IBM投巨资开展关系数据库管理系统的研究，其System R项目的研究成果极大地推动了关系数据库技术的发展，在此基础上推出的DB2和SQL等产品成为IBM的主流产品。
1970年以后，Codd继续致力于完善和发展关系理论。
1972年，他提出了关系代数和关系演算，为日后成为标准的结构化查询语言SQL 奠定了基础。
Codd还创办了一个研究所：关系研究所(The Relational Institute)和一个公司：Codd&Associations，进行关系数据库产品的研发与销售。
Codd本人则是美国国内和国外许多企业的数据库技术顾问。
1990年，他编写出版了专著《数据库管理的关系模型：第二版》，全面总结了他几十年的理论探索和实践经验。
向Codd颁发图灵奖的仪式是1981年11月9日在洛杉矶召开的ACM年会上举行的，由ACM主席邓宁（P.Denning）亲自授奖并致词。
Codd发表了题为“关系数据库库：提高生产率的实际基础”的演说。
演说中，Codd说明了他当初提出关系数据模型的动机，强调了数据操纵语言既要有交互能力，又要能嵌入主语言程序的重要性。
Codd是美国工程院院士，已于1984年从IBM退休。
詹姆斯·格雷1998年度的图灵奖授予了声誉卓著的数据库专家詹姆斯·格雷。
这是图灵奖诞生32年的历史上，继数据库技术的先驱者查尔斯.巴赫曼和关系数据库之父埃德加·科德之后，第三位因在推动数据库技术的发展中作出重大贡献而获此殊荣的学者。
格雷生于1944年，在著名的美国伯克利分校计算机科学系获得博士学位。
学成以后在贝尔实验室、IBM、Tandem、DEC等公司工作，研究方向转向数据库领域。
在IBM期间，他参与和主持过IMS、System R、SQL/DS、DB2等项目的开发，其中除System R仅作为研究原型，没有成为产品外，其他几个都成为IBM在数据库市场上有影响力的产品。
在Tandem期间，格雷对该公司的主要数据库产品ENCOMPASS进行了改进与扩充，并参与了系统字典、并行排序、分布式SQL、Nonstop SQL 等项目的研制工作。
在DEC，他仍然主要负责数据库产品的技术。
格雷进入数据库领域时，关系数据库的基本理论已经成熟，但各大公司在关系数据库管理系统（RDBMS）的实现和产品开发中，都遇到了一系列技术问题，主要是在数据库的规模愈来愈大，数据库的结构愈来愈复杂，又有愈来愈多的用户共享数据库的情况下，如何保障数据的完整性（Integrity）、安全性（Security）、并发性（Concurrency），以及一旦出现故障后，数据库如何实现从故障中恢复（Recovery）。
这些问题如果不能圆满解决，无论哪个公司的数据库产品都无法进入实用，最终不能被用户所接受。
正是在解决这些重大的技术问题，使DBMS成熟并顺利进入市场的过程中，格雷以他的聪明才智发挥了十分关键的作用。
格雷在事务处理技术上的创造性思维和开拓性工作，使他成为该技术领域公认的权威。
他的研究成果反映在他发表的一系列论文和研究报告之中，最后结晶为一部厚厚的专著Transaction Processing: Concepts and Techniques(Morgan Kaufmann Publishers,1993，另一作者为德国斯图加特大学的A.Reuter教授)。
事务处理技术虽然诞生于数据库研究，但对于分布式系统，client/server结构中的数据管理与通信，对于容错和高可靠性系统，同样具有重要的意义。
格雷的另一部著作是The Benchmark Handbook: for Database and Transaction Processing Systems,第1版于1991年，第2版于1993年出版，也是Morgan Kaufmann 出版社出版的。
格雷还是该出版社“数据管理系统丛书”的主编。
鉴于在开发System R过程中的突出贡献，格雷等6人于1988年被ACM授予软件系统奖。
正是由于格雷在数据库技术方面的声誉，软件业中的“巨无霸”微软公司在1993年决定进入大型关系数据库市场时，才不惜用各种手段把格雷从DEC公司挖过来。