历届图灵奖得主简介ACM图灵奖1999计算机发展史的缩影
- 格式:pdf
- 大小:38.32 KB
- 文档页数:1
图灵奖历史百科名片图灵奖(A.M.Turing Award),由美国计算机协会(ACM)于1966年设立,又叫"A.M.图灵奖",有"计算机界诺贝尔奖"之称,专门奖励那些对计算机事业作出重要贡献的个人。
其名称取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。
获奖者的贡献必须是在计算机领域具有持久而重大的技术先进性的。
大多数获奖者是计算机科学家。
目录由来概况历年图灵奖获得者图灵简介部分获得者介绍由来概况历年图灵奖获得者图灵简介部分获得者介绍展开编辑本段由来阿兰·麦席森·图灵阿兰·麦席森·图灵(Alan Mathison Turing,1912.6.23-1954.6.7),是英国著名的数学家和逻辑学家,被称为计算机科学之父、人工智能之父,是计算机逻辑的奠基者,提出了"图灵机"和"图灵测试"等重要概念。
人们为纪念其在计算机领域的卓越贡献而设立"图灵奖"。
编辑本段概况图灵奖(又译"杜林奖")是美国计算机协会(ACM)于1966年第一个设立的奖项,专门奖励那些在计算机科学研究中做出创造性贡献、推动了计算机科学技术发展的杰出科学家。
虽然没有明确规定,但从实际执行过程来看,图灵奖偏于在计算机科学理论和软件方面作出贡献的科学家。
奖杯-图灵碗奖金金额不算太高,设奖初期为2万美元,1989年起增到2万5千美元,奖金通常由计算机界的一些大企业提供(通过与ACM签订协议)。
由于图灵奖对获奖条件要求极高,评奖程序又是极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。
因此它是计算机界最负盛名、最崇高的一个奖项,有"计算机界的诺贝尔奖"之称。
目前图灵奖由英特尔公司和google公司赞助,奖金为250,000美元。
图灵奖资料原著: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年颁发图灵奖至今,已有近40个年头,共计有40多名科学家获此殊荣,其中美国学者最多,此外还有英国、瑞士、荷兰、以色列、挪威等国少数学者,也包含一名美籍华人。
图灵奖颁发的历史,实际上是计算机科学技术发展史的缩影,而且从图灵奖获得者身上,我们会受到很多有益的启迪。
一..图灵和图灵奖:1.图灵是计算机科学技术的奠基人阿伦·图灵(Alan Mathison Turing) 是英国人,1912年6月23日生于伦敦近郊。
其父母早期在印度工作,退休后在法国生活,没有回英国定居。
图灵和他的一个哥哥在英国由从军队退休的Ward 夫妇带大的。
图灵13岁进入中学,学习成绩并不特别好,只有数学例外,演算能力特别强,此外,就是擅长赛跑。
1931年中学毕业后,进入英国剑桥大学的"King's College " 攻读数学。
他的学位论文是关于概率论的中心极限定理(the Central Limit Theorem of Probability),1936年图灵因就同一课题所发表的论文而获得史密斯奖(Smith Prize)。
1935年,图灵开始对数理逻辑发生兴趣。
数理逻辑又叫形式逻辑或符号逻辑(symbollogic),是逻辑学的一个重要分支。
数理逻辑用数学方法,也就是用符号和公式、公理的方法去研究人的思维过程、思维规律,其起源可追溯到17世纪德国的大数学家莱布尼兹(Gottfried Wilhelm Leibniz, 1646-1716),其目的是建立一种精确的、普遍的符号语言,并寻求一种推理运算,以便用演算去解决人如何推理的问题。
在莱布尼兹的思想中,数理逻辑、数学和计算机三者均出于一个统一的目的,即人的思维过程的演算化、计算机化、以至于在计算机上实现。
两个多世纪以来,许多数学家和逻辑学家沿着莱布尼兹的思路进行了大量实质性工作,使数理逻辑逐步完善和发展起来,许多概念开始逐步明朗。
历届图灵奖获得者(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,以及在网络方面卓越的领导。
历届图灵奖得主图灵奖-----计算机的诺贝尔奖图灵奖得主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)。
图灵奖简介图灵奖(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)创立者。
历届图灵奖获得者
2011年3月7日,2010年的图灵奖获得者揭晓【ACM新闻稿】。
哈佛大学计算机系的Les Valiant荣获此计算科学界的最高殊荣。
Les在计算理论方面最大的贡献是Probably approximately correct learning(PAC)
美国计算机协会宣布2011年度图灵奖得主为加州洛杉矶分校(UCLA)的计算机科学家Judea Pearl教授。
Judea Pearl降生于以色列,本科结业于以色列理工学院,1965年在美国罗格斯大学获物理学硕士学位,同年在布鲁克林理工学院获得机电工程博士学位。
Pearl教授的研究领域是人工智能,他是最早将贝叶斯网络和概率体例引入人工智能的先锋之一,也是在经验科学中数学化因果模型的先锋。
他的研究为iPhone的Siri语音识别和Google的无人驾驶汽车奠基了基础。
年份姓名贡献领域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语言定义清晰,是许多现代程序设计语言的原型。
历届图灵奖获得者(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,以及在网络方面卓越的领导。
历届图灵奖得主简介—《ACM图灵奖(1966—1999)—计
算机发展史的缩影》
刘建元;康兆华
【期刊名称】《中国大学教学》
【年(卷),期】2000(000)006
【总页数】1页(P27)
【作者】刘建元;康兆华
【作者单位】高等教育出版社;高等教育出版社
【正文语种】中文
【中图分类】TP-09
【相关文献】
1.两位体系结构宗师获2017 ACM图灵奖AI芯片时代拉开帷幕 [J],
2.献给图灵百年诞辰的礼物——《图灵和ACM图灵奖——纪念图灵百年诞辰》[J],
3.概率因果逻辑推理人工智能基础创新——朱迪亚·珀尔教授获2011年度ACM图灵奖 [J], 刘瑞挺;赵永欣
4.美国第一位计算机科学女博士、第二位女性"图灵奖"得主——芭芭拉·莉斯科芙荣获2008年度ACM图灵奖 [J], 刘瑞挺
5.21世纪计算机震撼人类生活——图灵奖得主畅谈“二十一世纪的计算” [J], Butler;Lampson[1];Raj;Reddy[2]
因版权原因,仅展示原文概要,查看原文内容请购买。
中国大学教学
27书林撷英
历届图灵奖得主简介
———《ACM 图灵奖(1966—1999)———计算机发展史的缩影》
○高等教育出版社刘建元康兆华
计算机与计算技术可以说是20世纪最有影响的一门科学技术。
今天的信息技术、知识经济、电子商务、互联网络没有哪一项不是以计算机技术为基础的。
而获得过被誉为计算机界Nobel 奖———ACM 图灵奖的20世纪40位计算机科学家,正是影响计算机科学技术发展最有影响的杰出代表。
由高等教育出版社组织出版的《ACM 图灵奖(1966-1999)———计算机发展史的缩影》一书,逐一对历届图灵奖得主的生平、研究成果、科研和工作风格、创新思想、论著等作了详细介绍,并配有相应人物、事件的历史照片。
附录中还有“计算技术发展大事记”等。
在本书所介绍的40位图灵奖获得者当中,有不少人的工作对计算机产业的发展产生了深远的影响。
例如,明斯基与麦卡锡共同创建了世界上第一个人工智能实验室;巴赫曼主持设计与开发了最早的网状数据库管理系统,并推动与促成了数据库标准的制定;巴克斯发明了世界上第一个高级程序设计语言FORTR AN ,之后又首次提出了元语言“巴克斯范式”BNF ;科德首次明确而清晰地为数据库系统提出了关系模型;汤普森和里奇设计、开发了应用广泛和影响深远的操作系统UNIX 和程序设计语言C ;科克因主持IBM 801项目而成为RISC 概念的首创者,今天RISC 技术已成为计算机体系结构的主流技术;萨瑟兰开发成功著名的Sketchpad 系统,奠定了他作为“计算机图形学之父”的基础,他的工作对后来的计算机模拟技术、计算机辅助设计技术都产生了积极的影响;布鲁克斯主持与领导了被称为人类从原子能时代进入信息时代标志的IBM 360系列计算机的开发工作。
近年来信息产业的发展,及其对人们的生活、工作所产生的影响,对社会发展和国民经济所起的作用,都和这些计算机界先辈们的付出有着密不可分的联系。
这些计算机科学技术界的佼佼者所提出的一些具有前
瞻性的设想或思路对我国的科技人员、学者和教育工作者有一定的启迪,虽然不能把他们的想法完全套用在我国的产业实践中,但是对其进行审慎地思考后进行有选择性地吸收,对生产技术的进步、人才的培养是大有裨益的。
比如,威尔克斯在1967年预见到硬件和软件的结合,程序设计语言和数据结构的重要作用,甚至谈到可移植性问题,而当时结构化程序设计的概念尚未正式提出;巴克斯最早提出了归纳的概念,这使变元的概念不复存在,所有的计算目标都通过计算获得;霍尔在基于时态逻辑的逻辑型混合计算模
型中引入了时段和切变的概念,这种模型对于设计要求绝对安全的软件系统有重要意义;科克认为对计算机性能影响最大的因素是算法、编译器和机器组织,其中算法的改进是最重要的;而克努特的宏篇巨著《计算机程序设计的艺术》,曾被誉为计算机科学工作者的《圣经》,甚至有人认为其作用和地位可与数学史上欧几里得的《几何学原理》相媲美,其影响之广泛和深远更是不言而喻。
本书特邀中国科学院院士、北京大学计算机科学与技术系杨芙清教授作序。
在第16届世界计算机大会举办期间,该书受到了与会代表的广泛的好评。
通过对20世纪下半叶有代表性计算机科学家的介绍,本书在一定程度上反映了计算机体系结构、程序设计语言、算法设计与分析、操作系统和编译程序、数据库技术、计算复杂性理论、软件工程、人工智能等计算机科学技术主要分支的形成过程和发展概况。
全书内容深入浅出,文笔流畅,叙述生动,对于人们了解计算机科学技术发展的历史,了解计算机学科的一些基本知识、思想方法,以及供广大教师和学生了解计算机学科的背景知识,都是一本难得的收藏之作。
◆。