1992图灵奖—兰普森
- 格式:ppt
- 大小:2.54 MB
- 文档页数:21
三位在数据库领域作出杰出贡献的图灵奖获得者简介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 SystemInc.巴赫曼在数据库方面的主要贡献有两项,第一就是在通用电气公司任程序设计部门经理期间,主持设计与开发了最早的网状数据库管理系统IDS。
IDS于1964年推出以后,成为最受欢迎的数据库产品之一,而且它的设计思想和实现技术被后来许多数据库产品所仿效。
历届图灵奖(A.M. Turing Award)获得者及其获奖原因目前图灵奖由英特尔公司和Google公司赞助,奖金为250,000美元。
2010 Leslie Valiant 莱斯利·瓦伦特获奖原因:为人工智能进步提供了理论基础,在改进机器学习方面取得骄人成绩。
在计算科学和数学领域的远见及认知理论与其它技术结合后,开创了机器学习和通信的新时代,如IBM推出的计算系统已经能够挑战人类回答问题的能力。
2009 Charles Thacker获奖原因:对第一台现代个人计算机Xerox PARC Alto的先驱性设计与实现,还有在局域网(包括以太网)、多处理器工作站、窥探高速缓存一致性协议和平板PC等方面的重大发明和贡献。
(现代PC之父——盖茨语)2008 Barbara Liskov 利斯科夫获奖原因:在计算机程序语言设计方面的开创性工作。
她的贡献是让计算机软件更加可靠、安全和更具一致性。
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的基础性贡献。
历届图灵奖得主图灵奖-----计算机的诺贝尔奖图灵奖得主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)。
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时产生的基础性想法是面向对象技术的肇始。
图灵奖简介图灵奖(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)创立者。
历届图灵奖获得者图灵奖获得者分类及各项指标统计(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)的众多教授和学生的合作的二十多年的科学生涯中,他们在人工智能,认知科学,编目处理方面作出了(卓越的)基础研究。