获图灵奖的三位数据库专家介绍.pptx

关系数据库之父——埃德加·科德“图灵奖”最早设立于1966年，是美国计算机协会在计算机技术方面所授予的最高奖项，被誉为“计算机界的诺贝尔奖”，主要授予那些在计算机技术领域作出突出贡献、对计算机产业发展有长远和重要影响的个人。

迄今为止，已有36位科学家获此殊荣。

1981年图灵奖获得者是埃德加·科德，他被称为“关系数据库之父”。

在数据库技术发展的历史上，1970年是发生伟大转折的一年。

这一年的6月，IBM圣约瑟研究实验室的高级研究员埃德加·科德（Edgar Frank Codd）在Communications of ACM上发表了题为“用于大型共享数据库的关系数据模型”（A Relational Mode of Data for Large Shared Data Banks）的。

1983年，ACM把这篇论文列为从1958年以来的四分之一个世纪中具有里程碑式意义的最重要的25篇研究论文之一，因为它首次明确而清晰地为数据库系统提出了一种崭新的模型，即关系模型。

“关系”（relation）是数学中的一个基本概念，由集合中的任意元素所组成的若干有序偶对（ordered pair）表示，用以反映客观事物间所存在的一定关系，如数之间的大小关系，一个组织中的成员之间的领导和被领导关系，商品流通中的购销关系，产品零部件之间的装配关系，等等。

在自然界和社会中，关系是无处不在的。

在计算机科学中，关系的概念也十分普遍，计算机的逻辑设计、编译程序设计、算法分析和程序结构、信息检索等，都应用了关系的概念。

而用关系的概念来建立数据模型，用以描述、设计与操纵数据库，则是埃德加·科德这篇论文的创举。

由于关系模型简单明了，有坚实的数学基础，一经提出，立即引起学术界和产业界的广泛重视和响应，从理论与实践两个方面都对数据库技术产生了强烈的冲击。

基于层次模型和网状模型的数据库产品很快走向衰败，一大批关系型数据库系统很快被开发出来并迅速商品化，占领了市场，其交替速度之快是软件历史上所罕见的。

在数据库历史上最重要的⼈物简介 埃德加·考特（EdgarF.Codd） 计算机界公认的关系数据库之⽗。

1970年他提出了关系模型的理论，1970年以后，E.F.Codd继续完善和发展关系理论；之后创办了⼀个研究所The RelationalInstitute和⼀个公司Codd & Associations；1990 年出版了专著The Relational Modelfor Database Management：Version 2 E.F.Codd 以其对关系数据库的卓越贡献获得了1983 年ACM图灵奖。

C.J.戴特(C.J.Date) C.J.Date 是最早认识到Codd 在关系模型⽅⾯所做的开创性贡献的学者之⼀，他是关系数据库技术领域中⾮常著名的独⽴撰稿⼈、学者和顾问，他使得关系模型的概念普及化。

他参与了IBM公司的SQL/DS和DB2两⼤产品的技术规划和设计。

30多年来，Date ⼀直活跃在数据库领域中，其著作有《数据库系统导论》，《对象关系数据库基础：第三次宣⾔》（1998）等。

吉姆·格雷（Jim Gray） Jim Gray使关系模型的技术实⽤化，他为RDBMS成熟并顺利进⼊市场起到了关键性的作⽤。

他在事务处理⽅⾯取得了突出的贡献，使他成为该技术领域公认的权威，他也成为图灵奖诞⽣32 年来第三位在数据库技术的发展中作出重⼤贡献⽽获此殊荣的学者。

曾参与主持过IMS、System R、SQL/DS、DB2等项⽬的开发。

他的研究成果反映在他发表的⼀系列论⽂和研究报告之中，最后结晶为⼀部厚厚的专著：Transaction Processing: Concepts and Techniques。

Michael Stonebraker Michael Stonebraker是Ingres的创始⼈。

他是加州⼤学伯克利分校的教授，著名的数据库学者，他在1992 年提出对象关系数据库模型。

附录：图灵奖及历届图灵奖获得者图灵奖于1966年开始设立，是ACM（美国计算机协会）在计算机科学技术领域中所授予的最高奖项, 享有计算机界的诺贝尔奖之美称。

它是以英国的数学天才Alan Turing先生的名字命名的。

图灵先生对早期的计算理论与实践做出了突出的贡献。

图灵奖主要授予在计算机科学技术领域做出了创造性贡献、推动了计算机科学技术发展的杰出科学家，而这些贡献必须对计算机科学技术有长久而深远的重要影响。

虽未明确规定，授奖较偏重于计算机科学理论和软件技术方面作出贡献的科学家。

每年, 美国计算机协会将要求提名人推荐本年度的图灵奖候选人, 并附加一份200到500字的文章, 说明被提名者为什么应获此奖。

任何人都可成为提名人，美国计算机协会将组成评选委员会对被提名者进行严格的审核，并最终确定当年的获奖者。

通常每年只有1名获奖者, 少数的年份有2名（同方向）, 但02、07年有3名。

截止到2008年底共发奖43次，共有55位科学家获奖。

目前图灵奖由英特尔公司和google公司赞助，奖金为250,000美元。

历届图灵奖获得者名单（1966-2009）:1966 Alan J. Perlis --- PhD, MIT; Prof, Yale (was Prof at CMU) (deceased) 因在新一代编程技术和编译架构方面的贡献而获奖。

ALGOL语言和计算机科学的“催生者”。

1967 Maurice V. Wilkes --- PhD, Cambridge; Prof, Cambridge因设计、研制出世界上第一台程序实现完全在内存的存储程序式计算机EDSAC 而获奖。

1968 Richard W. Hamming --- PhD, UIUC; Prof, Naval Postgraduate School (was at Bell) (deceased)因在计数方法、自动编码系统、检测及纠正错码方面的贡献被授予图灵奖。

图灵奖（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）的主要发起人之一。

图灵奖简介图灵奖（A.M. Turing Award，又译“杜林奖”），由美国计算机协会（ACM）于1966年设立，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。

其名称取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。

由于图灵奖对获奖条件要求极高，评奖程序又是极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。

因此它是计算机界最负盛名、最崇高的一个奖项，有“计算机界的诺贝尔奖”之称。

每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。

任何人都可成为提名人。

美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者图灵奖对获奖者的要求极高，评奖程序极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名在同一方向上做出贡献的科学家同时获奖。

因此，尽管“图灵”的奖金数额不算高，但它却是计算机诺贝尔奖”之称。

美国计算机协会1966年图灵奖获得者美国科学家艾伦·佩利(Alan J.Perlis)：ALGOL语言和计算机科学的“催生者”。

获奖演说“算法系统的综合”（The Sy nthesis of AlgorithmicSy stem）。

1967年图灵奖获得者英国科学家莫里斯·威尔克斯(Maurice V.Wilkes)：世界上第一台存储程序式计算机EDSAC的研制者。

获奖演说“计算机的过去和现在”（ComputerThen and Now）。

1968年图灵奖获得者美国科学家理查德·汉明(RichardW.Hamming)：发明了纠错码——汉明码（HammingCode）。

获奖演说“对计算机科学的看法”（On Man‟s View of ComputerScience）。

1969年图灵奖获得者美国科学家马文·明斯基(Marv in L.Minsky)：“人工智能之父”，知识的框架理论（Frame Theory）创立者。

飞行员埃德加弗兰克获得图灵奖的过程埃德加·弗兰克·科德（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--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)的众多教授和学生的合作的二十多年的科学生涯中，他们在人工智能，认知科学，编目处理方面作出了(卓越的)基础研究。

历届图灵奖获得者及获奖原因：图灵奖（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语言定义清晰，是许多现代程序设计语言的原型。

图灵奖（Turing Award），是国际计算机协会（ACM）于1966年设立的，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。

其名称取自计算机科学的先驱、英国科学家阿兰·图灵，这个奖设立目的之一是纪念这位科学家。

获奖者的贡献必须是在计算机领域具有持久而重大的技术先进性的。

大多数获奖者是计算机科学家。

图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。

图灵奖对获奖者的要求极高，评奖程序也极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。

目前图灵奖由英特尔公司赞助，奖金为100,000美元。

每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。

任何人都可成为提名人。

美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。

截止至2006年，获此殊荣的华人仅有一位，他是2000年图灵奖得主姚期智。

图灵奖获得者1966年艾伦·佩利Alan J. Perlis高级程序设计技巧，编译器构造1967年威尔克斯Maurice V. Wilkes 内部存储程序, 程序库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通用的操作系统理论，实现UNIX操作系统1984年尼古拉斯·沃斯 Niklaus Wirth 计算机语言设计1985年理查德·卡普Richard M. Karp算法理论，尤其是NP-完全性理论1986年约翰·霍普克罗夫特和罗伯特·塔扬John Hopcroft,RobertTarjan算法和数据结构的设计与分析1987年约翰·科克John Cocke编译理论，大型系统的体系结构，及精简指令集（RISC）计算机的开发1988年伊凡·苏泽兰Ivan Sutherland 计算机图形学1989年威廉·卡亨William (Velvel) Kahan 数值分析1990年费尔南多·考巴托Fernando J. CorbatóCTSS和Multics1991年罗宾·米尔纳Robin Milner LCF，ML語言，CCS 1992年巴特勒·兰普森 Butler W. Lampson 分布式，个人计算环境1993年尤里斯·哈特马尼斯和理查德·斯特恩斯Juris Hartmanis,RichardE. Stearns计算复杂度理论1994年爱德华·费根鲍姆和拉吉·瑞迪Edward Feigenbaum,RajReddy大规模人工智能系统1995年曼纽尔·布卢姆 Manuel Blum计算复杂度理论，及其在密码学和程序校验上的应用1996年艾米尔·伯努利 Amir Pnueli 时序逻辑，程序与系统验证1997年道格拉斯·恩格尔巴特Douglas Engelbart 互动计算1998年詹姆斯·尼古拉·格雷James Gray 数据库与事务处理1999年弗雷德里克·布鲁克斯Frederick P. Brooks, Jr.计算机体系结构，操作系统，软件工程2000年姚期智姚期智（Andrew Chi-ChihYao）计算理论，包括伪随机数生成，密码学与通信复杂度2001年奥利-约翰·达尔和克利斯登·奈加特Ole-Johan Dahl,KristenNygaard面向对象编程2002年罗纳德·李维斯特，阿迪·萨莫尔和伦纳德·阿德曼Ronald L. Rivest,AdiShamir,Leonard M.Adleman公钥密码学（RSA加密演算法）2003年阿伦·凯Alan Kay 面向对象编程2004年温顿·科夫和罗伯特·卡恩Vinton G. Cerf,Robert E.KahnTCP/IP协议2005年彼得·诺尔Peter Naur Algol 60语言2006年法蘭西斯·艾倫 Frances E. Allen 優化編譯器图灵奖获得者1966年: 佩利• 67年: 威尔克斯• 68年: 漢明• 69年: 閔斯基• 70年: 维尔金森• 71年: 麦卡锡• 72年: 迪科斯彻• 73年: 巴赫曼• 74年: 高德納• 75年: 纽威尔和西蒙• 76年: 拉宾和斯科特• 77年: 巴科斯• 78年: 弗洛易德• 79年: 艾佛森• 80年: 何珥• 81年: 科德• 82年: 古克• 83年: 湯普遜和里奇• 84年: 沃斯• 85年: 卡普• 86年: 霍普克罗夫特和塔扬• 87年: 科克• 88年: 苏泽兰• 89年: 卡亨• 90年: 考巴托• 91年: 米尔纳• 92年: 兰普森• 93年: 哈特马尼斯和斯特恩斯• 94年: 费根鲍姆和瑞迪• 95年: 布卢姆• 96年: 伯努利• 97年: 恩格尔巴特• 98年: 格雷• 99年: 布鲁克斯• 2000年: 姚期智• 01年: 达尔和奈加特• 02年: 李维斯特, 萨莫尔和阿德曼• 03年: 凯• 04年: 科夫和卡恩• 05年: 诺尔• 06年: 艾伦。

刘　镇　副教授,1995年毕业于西安交通大学,获硕士学位,现就职于华东船舶工业学院电子与信息系.主要从事计算机网络和多媒体技术的教学和科研工作. 王建华　教授,1982年毕业于哈尔滨理工大学,获工学硕士学位,现就职于华东船舶工业学院.主要研究方向为神经网络和模式识别.正式出版著作3本,发表论文50余篇.历届图灵奖获得者1966　A.J.Perlis 因在新一代编程技术和编译架构方面的贡献而获奖1967　M aurice V.Wilkes 因设计出第一台具有内置存储程序的计算机而获奖1968　Richa rd W.Hamming 因在计数方法、自动编码系统、检测及纠正错码方面的贡献被授予图灵奖1969　M arv in Minsky (资料空缺)1970　J .H.Wilkinso n 因在利用数值分析方法来促进高速数字计算机的应用方面的研究而获奖1971　John M cCa rthy 因对人工智能的贡献被授予图灵奖1972　Edsg er W.Dijkstr a 因在编程语言方面的出众表现而获奖1973　Cha rles W.Bachman 因在数据库方面的杰出贡献而获奖1974　Do nald E.Knuth 因设计和完成T EX (一种创新的具有很高排版质量的文档制作工具)而被授予该奖1975　Allen N ewell 和Herber t A.Simo n 因在人工智能、人类心理识别和列表处理等方面进行的基础研究而获奖1976　M icha el O.Robin 和Dana S.Sco tt 因他们的论文“有限自动机与它们的决策问题”中所提出的非决定性机器这一很有价值的概念而获奖1977　John Backus 因对可用的高级编程系统设计有深远和重大的影响而获将1978　Ro bert W.Floy d 因其在软件编程的算法方面的深远影响,并开创了包括剖析理论、编程语言的语义、自动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖1979　K enneth E.Iv er so n 因对程序设计语言理论、互动式系统及A PL 的贡献被授予该奖1980　C.Anthony R.hoa re 因对程序设计语言的定义和设计所做的贡献而获奖1981　Edg ar F.Co dd 因在数据库管理系统的理论和实践方面的贡献而获奖1982　Stev en A.Co ok 因奠定了N P-Co mpleteness 理论的基础而获奖1983　K en T hompson 和Dennis M.Ritchie 因在通用操作系统理论方面的突出贡献,特别是对UN IX 操作系统的推广的贡献而获奖1984　Nikla us Wir th 因开发了EU L ER 、AL GO L-W 、M O DU L A 和PA SCA L 一系列崭新的计算语言而获奖1985　Richa rd M.Kar p 因对算法理论的贡献而获奖1986　John E.Hopcro ft 因在算法及数据结构的设计和分析中所取得的决定性成果而获奖1987　John Co cke 因在面向对象的编程语言和相关的编程技巧方面的贡献而获奖1988　Iva n E.Suth erland 因在计算机图形学方面的贡献而获奖1989　William V.Kaha n 因在数值分析方面的贡献而获奖1990　Fe rnando J .Cor ba to 因在开发大型多功能、可实现时间和资源共享的计算系统,如CT SS 和M ultics 方面的贡献而获奖1991　Ro bin Milner 因在可计算的函数逻辑(LCF)、M L 和并行理论(CCS)这三个方面的贡献而获奖1992　Butler La mpso n 因在个人分布式计算机系统方面的贡献而获奖1993　Jurlis H a rtma nis 和Richar d E.Stear ns 因奠定了计算复杂性理论的基础而获奖1994　Raj Reddy 和Edwa rd Feig enba um 因对大型人工智能系统的开拓性研究而获奖1995　M anuel Blum 因奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献而获将1996　Amir Pnueli 因在中引入临时逻辑和对程序及系统检验的贡献而获奖1997　Do ug la s Eng elbar t 因提出交互计算概念并创造出实现这一概念的重要技术而获奖1998　J a mes Gra y 因在数据库和事务处理方面的突出贡献而获奖157第2期曾芬芳等:基于数据手套的人机交互环境设计。

图灵奖获得者总结(截止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协议。

数据库教父E.F.CODD在数据库技术发展的历史上，1 9 7 0 年是发生伟大转折的一年。

这一年的6 月，I B M 圣约瑟研究实验室的高级研究员埃德加·考特 (Edgar Frank Codd) 在Communications of ACM 上发表了《大型共享数据库数据的关系模型》一文。

而用关系的概念来建立数据模型，用以描述、设计与操纵数据库，考特是第一人。

由于关系模型既简单、又有坚实的数学基础，所以一经提出，立即引起学术界和产业界的广泛重视，从理论与实践两方面对数据库技术产生了强烈的冲击。

在关系模型提出之后，以前的1968年基于层次模型和1969年网状模型的数据库产品很快走向衰败以至消亡，一大批商品化关系数据库系统很快被开发出来并迅速占领了市场。

1 9 8 1 年的图灵奖授予了这位“关系数据库之父”。

生平：考特原是英国人，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 年迸发出智慧的闪光，为数据库技术开辟了一个新时代。

1 9 7 0 年以后，考特继续致力于完善与发展关系理论。

E. F. Codd简介埃德加·弗兰克·科德（Edgar Frank Codd，1923－2003）是密执安大学哲学博士，IBM公司研究员，被誉为“关系数据库之父”，并因为在数据库管理系统的理论和实践方面的杰出贡献于1981年获图灵奖。

1970年，科德发表题为“大型共享数据库的关系模型”的论文，文中首次提出了数据库的关系模型。

由于关系模型简单明了、具有坚实的数学理论基础，所以一经推出就受到了学术界和产业界的高度重视和广泛响应，并很快成为数据库市场的主流。

20世纪80年代以来，计算机厂商推出的数据库管理系统几乎都支持关系模型，数据库领域当前的研究工作大都以关系模型为基础。

生平大家都说，Edgar F. Codd（通常被称为Ted）是一个才华横溢的人。

他的成就之一，是在二十世纪七十年代初开发了一个关系型数据管理模型--存储和操作大量业务数据的一个复杂、完整的理论。

根据Codd的设计构建的关系数据库成为了当今企业的基础；银行依赖关系数据库来跟踪资金流动；零售商使用它们来监控库存水平；人力资源部门使用它们来管理员工账户；图书馆、医院和政府机构在其中存储数百万条记录；事实上，世界上几乎所有的企业都在使用某种容量的关系数据库。

自从Codd公布其理论以来的30年中，关系数据库已经成为一个年收入近130亿美元的行业。

早期生活Ted Codd于1923年出生在英格兰多塞特郡波特兰市的一个大家庭中。

他曾经就读于牛津大学，主修数学和化学专业，第二次世界大战期间曾在皇家空军服役。

第二次世界大战后，Codd动身前往纽约并成为IBM的一名数学编程员。

Codd所做的第一个项目是帮助构建一个称为可选顺序电子计算器（Selective Sequence Electronic Calculator，SSEC）的早期计算机，据说该计算机占据了一栋市区办公楼中的两层。

在二十世纪六十年代中期，Codd获得了密歇根大学计算机科学专业的博士学位。

历届图灵奖得主图灵奖-----计算机的诺贝尔奖图灵奖得主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）。

数据库教父E.F.CODD在数据库技术发展的历史上，1 9 7 0 年是发生伟大转折的一年。

这一年的6 月，I B M 圣约瑟研究实验室的高级研究员埃德加·考特 (Edgar Frank Codd) 在Communications of ACM 上发表了《大型共享数据库数据的关系模型》一文。

而用关系的概念来建立数据模型，用以描述、设计与操纵数据库，考特是第一人。

由于关系模型既简单、又有坚实的数学基础，所以一经提出，立即引起学术界和产业界的广泛重视，从理论与实践两方面对数据库技术产生了强烈的冲击。

在关系模型提出之后，以前的1968年基于层次模型和1969年网状模型的数据库产品很快走向衰败以至消亡，一大批商品化关系数据库系统很快被开发出来并迅速占领了市场。

1 9 8 1 年的图灵奖授予了这位“关系数据库之父”。

生平：考特原是英国人，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 年迸发出智慧的闪光，为数据库技术开辟了一个新时代。

1 9 7 0 年以后，考特继续致力于完善与发展关系理论。