图灵奖的三位获奖人
- 格式:ppt
- 大小:560.00 KB
- 文档页数:27
图灵奖资料原著:Y at-sen Channel 翻译:王茜2002年12月8日图灵奖“图灵奖”最早设立于1966年,是美国计算机协会在计算机技术方面所授予的最高奖项,被誉为“计算机界的诺贝尔奖”,主要授予那些在计算机技术领域做出突出贡献、对计算机产业发展有长远和重要影响的个人。
迄今为止已有36位科学家获此殊荣。
历届图灵奖获得者资料来源:Yat-sen Channel1966 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)因为对计算理论做出了诸多“根本性的、意义重大的”贡献而获奖艾伦·图灵和图灵奖2003-12-22艾伦·麦席森·图灵(Alan Mathison Turing,1912年6月23日- 1954年6月7日),英国数学家。
历届图灵奖获得者(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 J.H. 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, Jr.--- 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,以及在网络方面卓越的领导。
图灵奖(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)的主要发起人之一。
历届图灵奖得主图灵奖-----计算机的诺贝尔奖图灵奖得主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)创立者。
图灵奖求助编辑百科名片图灵奖(A.M. Turing A ward,又译“杜林奖”),由美国计算机协会(ACM)于1966年设立,又叫“A.M. 图灵奖”,专门奖励那些对计算机事业作出重要贡献的个人。
其名称取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。
由于图灵奖对获奖条件要求极高,评奖程序又是极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。
因此它是计算机界最负盛名、最崇高的一个奖项,有“计算机界的诺贝尔奖”之称。
目录概况图灵奖获得者图灵简介生平成就荣誉著作部分获奖者介绍程序设计语言的先驱开拓者和一批大师计算机科学家Dijkstra“人工智能”的创始人和开拓者其他方面的图灵奖获得者概况图灵奖获得者图灵简介生平成就荣誉著作部分获奖者介绍程序设计语言的先驱开拓者和一批大师计算机科学家Dijkstra“人工智能”的创始人和开拓者其他方面的图灵奖获得者展开编辑本段概况奖金金额不算太高,设奖初期为2万美元,1989年起增到2万5千美元,奖金通常由计算机界的一些大企业提供(通过与ACM签订协议)。
目前图灵奖由英特尔公司和google 公司赞助,奖金为250,000美元。
每年,美国计算机协会将要求提名人推荐本年度的图灵奖候选人,并附加一份200到500字的文章,说明被提名者为什么应获此奖。
任何人都可成为提名人。
美国计算机协会将组成评选委员会对被提名者进行严格的评审,并最终确定当年的获奖者。
从1966年到2009年的44届图灵奖,共计有56名科学家获此殊荣,其中美国学者最多,此外还有英国、瑞士、荷兰、以色列,中国(姚期智)等国少数学者。
截止至2009年,获此殊荣的华人仅有一位,他是2000年图灵奖得主姚期智。
编辑本段图灵奖获得者编辑本段图灵简介生平英国著名学者阿兰·麦席森·图灵(Alan Mathison Turing)不阿兰·麦席森·图灵仅以“纸上下棋机”率先探讨了下棋与机器智能的联系,他还是举世公认的“人工智能之父”。
数据库方面三位ACM图灵奖得主班级:1班学号:2012040732姓名:朱润华数据库方面三位ACM图灵奖得主1、查理士·巴赫曼:巴赫曼1924年生于堪萨斯州的曼哈顿,高中在密歇根州东兰辛度过。
二战爆发后,他加入美国陆军防空高炮师;从1944年3月至1946年2月,他在西南太平洋战场待了两年,到过新几内亚,澳大利亚和菲律宾群岛等地。
在这里,他首次使用90mm炮弹的火力控制系统。
之后,他离开军队,进入密歇根州立大学学习,并于两年后获得了机械工程的学士学位。
1950年,他在宾夕法尼亚大学取得硕士学位。
同年,他在沃顿商学院完成了三个季度的学习,取得MBA学位。
1960年加入通用电气,在这里他开发出了第一代网状数据库管理系统——IDS(集成数据存储,en:Integrated Data Store),并和韦尔豪泽·朗伯(Weyerhaeuser Lumber)一起开发了第一个用于访问IDS数据库的多道程序(multiprogramming);1983年,他创建了自己的公司——巴赫曼信息系统公司。
巴赫曼在数据库方面的主要贡献有两项,第一就是,在通用电气公司任程序设计部门经理期间,主持设计与开发了最早的网状数据库管理系统IDS。
IDS于1964年推出后,成为最受欢迎的数据库产品之一,而且它的设计思想和实现技术被后来的许多数据库产品所仿效。
其二就是巴赫曼积极推动与促成了数据库标准的制定,那就是美国数据系统语言委员会CODASYL下属的数据库任务组DBTG提出的网状数据库模型以及数据定义和数据操纵语言即DDL和DML的规范说明,于1971年推出了第一个正式报告——DBTG报告,成为数据库历史上具有里程碑意义的文献。
该报告中基于IDS的经验所确定的方法称为DBTG方法或CODASYL方法,所描述的网状模型称为DBTG模型或CODASYL模型。
DBTG曾希望美国国家标准委员会ANSI接受DBTG报告为数据库管理系统的国家标准,但是没有成功。
历届图灵奖获得者图灵奖获得者分类及各项指标统计(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)的众多教授和学生的合作的二十多年的科学生涯中,他们在人工智能,认知科学,编目处理方面作出了(卓越的)基础研究。
2007年图灵奖获得者:Edmund M. Clarke,Allen Emerson和Joseph Sifakis美国计算机协会2008年2月4日宣布了2007年图灵奖获得者:Edmund M. Clarke(艾德蒙德·克拉克),Allen Emerson(艾伦·埃莫森)和Joseph Sifakis(约瑟夫·西法基斯)三位科学家,表彰他们开发模型检测技术,并使之成为一个广泛应用在硬件和软件工业中非常有效的算法验证技术所做的奠基性贡献。
背景知识:模型检查及其历史模型检测(Model-Checking,也译为模型检验,仿真术语里称为模型校验)是一类“验证”,分析设计背后的逻辑,就像数学家用证明来判断一个定理是否正确。
其本质上是用严密的数学方法来验证设计是否满足预设的需求,从而自动化地发现设计中的错误。
按Wikipedia的定义,它是一种检查某一给定模型是否满足某一逻辑规则的方法。
其中一种重要的方法,就是通过算法来验证形式化系统,具体方法是验证由硬件或者软件设计导出的模型是否满足通常用模态逻辑规则表示的形式化规范。
在硬件业,包括半导体业和嵌入式系统中,模型检查已经成为一项非常关键的主流技术。
要知道,在硬件行业,如果设计有问题,一旦投产,损失就太大了。
正因为这样,图灵奖赞助方之一Intel对三位获奖者的祝贺可以说是充满了感激之情。
此外,在通信协议、安全算法的设计方面,模型检查也发挥了关键作用。
但是,软件业对模型检查的重视似乎很不够。
一线的软件开发人员可能都对它比较陌生,感觉比较学院化。
当然,由于存在可计算性导致的缺陷,以及软件本身的复杂性,模型检查是不可能完全解决软件设计中的bug的。
但是,软件业对这种方法的忽视,是否也是软件总体质量不如硬件,或者说低级错误更多的一个原因呢?总之,模型检查在工业检测方面有诸多应用:如芯片检测、通信协议、外部设备主控软件、嵌入式系统(如在飞机、火车、火箭、卫星或移动电话)以及安全算法等。
历届图灵奖获得者及获奖原因:图灵奖(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语言定义清晰,是许多现代程序设计语言的原型。
历届图灵奖获得者(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,以及在网络方面卓越的领导。