网络安全图灵奖
- 格式:docx
- 大小:37.27 KB
- 文档页数:2
历届图灵奖(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的基础性贡献。
图灵奖(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)的主要发起人之一。
图灵奖(Turing Award,又译杜林奖),是计算机协会(ACM)于1966年设立的,又叫“A.M. 图灵奖”,专门奖励那些对计算机事业作出重要贡献的个人。
其名称取自世界计算机科学的先驱、英国科学家,英国曼彻斯特大学教授艾伦·图灵(Professor Alan Turing),这个奖设立目的之一是纪念这位现代电脑、计算机奠基者。
获奖者必须是在计算机领域具有持久而重大的先进性的技术贡献。
大多数获奖者是计算机科学家。
图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。
图灵奖对获奖者的要求极高,评奖程序也极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。
目前图灵奖由英特尔公司以及Google公司赞助,奖金为250,000美元。
每年,美国计算机协会将要求提名人推荐本年度的图灵奖候选人,并附加一份200到500字的文章,说明被提名者为什么应获此奖。
任何人都可成为提名人。
美国计算机协会将组成评选委员会对被提名者进行严格的评审,并最终确定当年的获奖者。
目录[隐藏]∙ 1 图灵奖获得者∙ 2 参考文献∙ 3 参见∙ 4 外部链接[编辑]图灵奖获得者1966年艾伦·佩利Alan J. Perlis高级程序设计技巧,编译器构造1967年莫里斯·威尔克斯Maurice V.Wilkes存储程序式计算机EDSAC, 程序库1968年理查德·卫斯里·汉明RichardHamming数值方法,自动编码系统,错误检测和纠错码1969年马文·闵斯基Marvin Minsky人工智能1970年詹姆斯·维尔金森James H.Wilkinson数值分析,线性代数,倒退错误分析1971约翰·麦卡锡John McCarthy人工智能年1972年艾兹格·迪科斯彻Edsger Dijkstra程序设计语言的科学与艺术1973年查理士·巴赫曼Charles W.Bachman数据库技术1974年高德纳Donald E. Knuth算法分析、程序设计语言的设计、程序设计1975年艾伦·纽厄尔赫伯特·西蒙Allen NewellHerbert A. Simon人工智能,人类认知心理学和列表处理(listprocessing)1976年迈克尔·拉宾达纳·斯科特Michael O.RabinDana 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 ThompsonDennis M.RitchieUNIX操作系统和C语言1984年尼克劳斯·维尔特Niklaus Wirth程序设计语言设计、程序设计1985年理查德·卡普Richard M. Karp算法理论,尤其是NP-完全性理论1986年约翰·霍普克罗夫特罗伯特·塔扬John HopcroftRobert Tarjan算法和数据结构的设计与分析1987年约翰·科克John Cocke编译理论,大型系统的体系结构,及精简指令集(RISC)计算机的开发1988年伊凡·苏泽兰Ivan Sutherland计算机图形学1989年威廉·卡亨William MortonKahan数值分析1990年费尔南多·考巴托Fernando J.CorbatóCTSS和Multics1991年罗宾·米尔纳Robin Milner LCF,ML语言,CCS1992年巴特勒·兰普森Butler W.Lampson分布式,个人计算环境1993年尤里斯·哈特马尼斯理查德·斯特恩斯Juris HartmanisRichard E.Stearns计算复杂度理论1994年爱德华·费根鲍姆拉吉·瑞迪EdwardFeigenbaumRaj Reddy大规模人工智能系统1995年曼纽尔·布卢姆Manuel Blum计算复杂度理论,及其在密码学和程序校验上的应用1996年阿米尔·伯努利Amir Pnueli时序逻辑,程序与系统验证1997年道格拉斯·恩格尔巴特DouglasEngelbart互动计算1998年詹姆斯·尼古拉·格雷James Gray数据库与事务处理1999年弗雷德里克·布鲁克斯Frederick P.Brooks, Jr.计算机体系结构,操作系统,软件工程2000年姚期智AndrewChi-Chih Yao计算理论,包括伪随机数生成,密码学与通信复杂度2001年奥利-约翰·达尔克利斯登·奈加特Ole-Johan DahlKristen Nygaard面向对象编程2002年罗纳德·李维斯特阿迪·萨莫尔伦纳德·阿德曼Ronald L. RivestAdi ShamirLeonard M.Adleman公钥密码学(RSA加密算法)2003年艾伦·凯Alan Kay面向对象编程2004年文特·瑟夫罗伯特·卡恩Vinton G. CerfRobert E. KahnTCP/IP协议2005年彼得·诺尔Peter Naur Algol 60语言2006法兰西斯·艾Frances E. Allen优化编译器年伦2007年[1]爱德蒙·克拉克艾伦·爱默生约瑟夫·斯发基斯Edmund M.ClarkeAllen EmersonJoseph Sifakis开发自动化方法检测计算机硬件和软件中的设计错误2008年芭芭拉·利斯科夫Barbara Liskov编程语言和系统设计的实践与理论2009年查尔斯·萨克尔Charles Thacker帮助设计、制造第一款现代PC2010年莱斯利·瓦伦特Leslie Valiant对众多计算理论所做的变革性的贡献2011年朱迪亚·珀尔Judea Pearl通过概率论和因果推理对人工智能领域作出的根本性贡献。
历届图灵奖得主图灵奖-----计算机的诺贝尔奖图灵奖得主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)。
图灵奖(数据库方向)DBTG的系统结构DBTG的系统结构主要包括模式(schema)、子模式(subschema)、物理模式(physicalschema)、数据操纵和数据库管理系统(DBMS,DataBaseManagementSystem)等几个部分。
模式是对数据库整体数据逻辑结构的描述,它对应数据库的概念层,由数据库管理员借助模式数据描述语言DDL(DataDescriptionLanguage)建立。
子模式是某一用户对他所关心的那部分数据的数据结构的描述,对应于数据库的外层或用户视图(userview),是由该用户自己或委托数据库管理员借助子模式数据描述语言加以定义的。
物理模式或叫存储模式(storageschema)是对数据库的数据的存储组织方式的描述,对应于数据库的物理层,由数据库管理员通过数据存储描述语言DSDL(DataStorageDescriptionLanguage)加以定义(DSDL是DBTG报告的1978年版本提出的,之前的报告用的名称叫数据介质控制语言DMCLDataMediaControlLanguage)。
数据库可由多个用户、多个应用共享,数据库应用程序利用数据操纵语言DML(DataManupilationLanguage)实现对数据库数据的操纵,但一个应用程序必须援引某一模式的某一子模式(也就是说它操作的数据限于某一用户视图中的数据)。
DML语句可以嵌在宿主语言(如COBOL,Fortran等)中,在数据库管理系统的控制下访问数据库中的数据,并通过一个称为用户工作区UW A(UserWorkArea)的缓冲区与数据库通信,完成对数据库的操作。
数据库管理系统的其他功能包括维护数据库中数据的一致性(consistency)、完整性(integrity)、安全性(security)和一旦出现故障情况下的恢复(recovery),以及在多个应用程序同时存取同一数据单元时处理并发性(concurrency),以避免出现“脏数据”(d irtydata)或“丢失更新”(10seupdate)等不正常现象。
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时产生的基础性想法是面向对象技术的肇始。
图灵和图灵奖世界上第一台计算机ENIAC 1946年2月诞生于美国宾夕法尼亚大学莫尔学院。
但学术界公认,电子计算机的理论和模型是由英国数学家图灵在此前10年即1936年发表的一篇论文“论可计算数及其在判定问题中的前应用”(On Computable Numbers With an Application to the Entscheidungs Problem)中奠定了基础的。
因此,当美国计算机协会ACM在1996年纪念电子计算机诞生20周年,也就是图灵的有历史意义的论文发表30周年的时候,决定设立计算机界的第一个奖项(在此之前,作出杰出贡献的计算机科学家只能获得数学方面或电气工程方面的奖项),并且很自然地把它命名为“图灵奖”以纪念这位计算机科学理论的奠基人。
被称为“计算机界的诺贝尔奖”的这个奖设立至今,已经颁发了34届,共有40名计算机科学家获此殊荣。
阿伦.图灵(Alan Mathison Turing)1912年6月23日生于伦敦近郊的自治镇帕丁顿(Paddington,现归属伦敦Westminster区,英国议会大厦和世界闻名的威斯敏斯特大教堂就在这里)。
图灵的父亲是英国在印度的行政机构的一名官员,母亲平常也在印度陪伴其丈夫。
1926年图灵的父亲退休以后,因为退休金不高,为了节省,他们夫妇又选择在生活费用较低的法国居住,没有回英国定居,因此图灵和他的一个叫约翰的哥哥很少见到父母亲,他们是由从军队中退休的沃德(Ward)夫妇带大的。
童年时缺乏父爱和母爱,也许正是图灵自幼起性格和行为就比较怪辟,并最终酿成悲剧结局的一个重要原因。
图灵13岁进入寄宿的谢博恩中学(Sherbourne School),学习成绩并不特别好,只有数学例外,演算能力特别强。
此外,就是擅长赛跑,我们现在还能看到图灵在运动会上参加赛跑中冲过终点时留下的照片。
1931年中学毕业以后,图灵想进剑桥大学最负盛名的“三圣学院”(Trinity College),但两次未被录取,只好进了剑桥的另外一所学院——“国王学院”(King’s College)攻读数学。
浅析计算机图灵奖带来的启示作者:李娟来源:《电脑知识与技术》2011年第23期摘要:该文对计算机图灵奖进行了分析,图灵奖,是国际计算机协会(ACM)于1966年设立的,又叫“A.M. 图灵奖”,专门奖励那些对计算机事业作出重要贡献的个人。
从图灵奖获得者身上,我们会受到很多有益的启迪。
关键词:图灵奖;ACM;计算机中图分类号:G64文献标识码:A文章编号:1009-3044(2011)23-5675-02An Analysis of the Enligtenment from Turing AwardLI Juan(Shijiazhuang Mechanized Infantry Academy, Shijiazhuang 050083, China)Abstract: The paper studies Turing Award,Turing Award, the International Association for Computing Machinery (ACM), established in 1966, also known as "A.M. Turing Award", a special reward those who make important contributions to the cause of the computer personal. From Turing Award winner, we will be much beneficial enlightenment.Key words: turing award; ACM; computer计算界的最高奖项非图灵奖莫属,图灵奖是美国计算机协会(ACM)于1966年第一个设立的奖项,专门奖励那些对计算机领域做出重要贡献的个人,素有“计算机界的诺贝尔奖”的美誉。
从颁发至今已有近40个年头,截至2010年,共计有50多名科学家获此殊荣。
图灵奖获得者总结(截止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协议。
网络安全精英奖励网络安全精英奖是为了表彰在网络安全领域有杰出贡献的个人或团队而设立的奖项。
网络安全是当今社会中至关重要的议题,随着网络技术的快速发展和广泛应用,网络攻击和数据泄漏等安全风险也随之增加。
为了保护个人隐私和企业信息安全,网络安全专业人才的培养和表彰显得尤为重要。
网络安全精英奖旨在激励和表彰那些在网络安全领域取得显著成就的个人或团队。
这些从业者可能是网络安全公司的研究人员,也可能是企业中的网络安全团队,或者是学术界的研究者。
他们通过自己的努力和创新,为网络安全事业做出了卓越贡献,为社会各界提供了可靠的网络安全保护。
网络安全精英奖以其权威性和公正性而备受推崇。
评选过程通常由一组网络安全专家组成的评审委员会负责。
评选标准包括技术水平、创新能力、实际应用价值、影响力等方面。
评审委员会会对提名人进行详细的评估和比较,通过综合评估,选出那些最有突出贡献和影响力的个人或团队。
网络安全精英奖通常采取正式的颁奖仪式来颁发奖项。
颁奖仪式是一个庄重和庆祝的场合,参与者包括网络安全从业者、相关企业代表、政府官员和学术界人士等。
在颁奖典礼上,颁奖人会介绍获奖者的杰出贡献,以及其对网络安全领域的重要影响。
然后,获奖者会上台发表获奖感言,表达对于奖项的感谢和对网络安全事业的承诺。
网络安全精英奖的获得对个人或团队来说具有极大的荣誉和奖励。
首先,这是对获奖者多年努力和专业技术的认可和鼓励。
其次,这种奖项能够提升获奖者在行业中的影响力和声誉,为他们带来更多的机会和挑战。
此外,网络安全精英奖还有助于激发更多的人投身于网络安全事业中,吸引更多的人才为保护网络安全努力。
总之,网络安全精英奖是对在网络安全领域有杰出贡献的个人或团队的表彰和奖励。
通过评选、颁奖和庆祝等活动,网络安全精英奖不仅能够鼓励和激励网络安全人才,也能够提高社会各界对网络安全事业的重视和关注。
希望通过这样的奖项,能够推动和促进网络安全事业的发展,保护个人和企业的信息安全。
历届图灵奖获得者(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年设立的,又叫A.M.图灵奖,
专门奖励那些对计算机事业作出重要贡献的个人。
获奖者的贡献必须是
在计算机领域具有持久而重大的技术先进性的。
一般每年只奖励一名计算机科学家,只有极少数年度有两名合作者在同一方向作出贡献的科学家共享此奖。
它是计算机界最负盛名一个奖项,有“计算机界的诺贝尔”之称。
图灵奖的来源
图灵是英国著名的数学家和逻辑学家,被称为计算机科学之父、人工智能之父,是计算机逻辑的奠基者。
人们为纪念其在计算机领域的卓越贡献而设立“图灵奖”。
图灵
英国著名学者图灵(Turing),著名的数学家、密码学家、计算机科技之父。
他开创了计算机科学的重要分支——人工智能,虽然他当时并没有明确使用这个术语,把“图灵奖”获奖者作一统计后就会发现,许多电脑科学家恰好是在人工智能领域作出的杰出贡献。
因此,图灵不仅是“人工智能之父”,他也是“计算机之父”。
华人获奖情况
姚期智是迄今为止获得此项殊荣的唯一亚裔计算机科学家。
姚期智,祖藉湖北孝感,1972年获哈佛大学物理学博士学位,之后,他曾先后在麻省理工学院、斯坦福大学、加州大学伯克利分校等美国高等学府从事教学和研究,1986年至2004年6月任普林斯顿大学计算机科学系教授。
2000年,姚期智对计算理论的诸多贡献,使他成为自图灵奖创立以来首位获奖的华裔学者。
奖金
奖金金额初期为2万美元,1989年起增到2万5千美元,奖金通常由计算机界的一些大企业提供。
目前图灵奖由英特尔公司和Google公司赞助,奖金为1,000,000$。
在近段时间,我读了《ACM图灵奖:1966-2006(第三版)计算机发展史的缩影》,虽然是电子版,有点不清晰,但我还是读完了,并对图灵奖以及计算机的发展史有了一定的了解。
这确实是一本不错的书,我认为这是作为学习计算机方面知识的学生的必读书籍。
通过书籍里面的内容,不难看出从1966年颁发图灵奖至今的40多个年头,40多位图灵奖获得者的成就,就是计算机科学技术发展史的缩影,他们的学术水平,也代表了整个计算机科学技术界的最高水平。
从图灵奖获得者身上,我们会受到很多有益的启迪。
在这40多位获此殊荣的科学家中,美国学者最多,此外还有英国、瑞士、荷兰、以色列、挪威等国少数学者,也包含一名美籍华人。
一、关于图灵和图灵奖说到图灵奖,就不能不说图灵本人,他应该算是计算机科学技术的奠基人。
1936年图灵发表了论文“论可计算及其在判定问题中的应用”,论文发表后,立刻引起了美国科学家的重视。
冯·诺依曼对图灵十分欣赏并邀请他到他那里工作,但图灵没有接受这个邀请,1938年回到英国剑桥大学。
第二次大战爆发后,图灵正值服役年龄,开始为战争服务。
主要是破译德军密码,曾立功劳,战后被光荣授勋,被称为OBE(Officer Order of the British Empire),这是对非战斗人员的极高荣誉。
战后,图灵继续从事计算机理论和技术方面的研发工作先是在英国国家物理实验室NPL(National Physical Laboratory)进行了计算机ACE(Automatic Computing Engine)的研究,后在曼彻斯特大学从事过存储程序式计算机MARK I 的研究。
由于图灵的一系列杰出贡献和重大创造,1951年,被选为英国皇家学会院士。
图灵奖是ACM于1966年第一个设立的奖项,专门奖励那些在计算机科学研究中作出创造性贡献、推动计算机科学技术发展的杰出科学家。
奖金金额不算太高,设奖初期为2万美元,1989年起增至2万5千美元。
A C M图灵奖1966-1999---计算机发展史的缩影读后感计算机的诞生与发展不得不说是世界发展的里程碑;在科学技术发展突飞猛进的今天;计算机的作用是无可比拟的.我曾经看了一本书;ACM图灵奖1966―1999――计算机发展史的缩影;看了之后收获不少;太震撼了里面提到的很多科学家;为计算机的发展;为科技的发展作出了巨大的贡献.获得过被誉为计算机界Nobel奖――ACM图灵奖的20世纪40位计算机科学家;正是影响计算机科学技术发展最有影响的杰出代表..ACM图灵奖1966―1999――计算机发展史的缩影一书;逐一对历届图灵奖得主的生平、研究成果、科研和工作风格、创新思想、论着等做了详细介绍;并配有相应人物、事件的历史照片..附录中还有“计算技术发展大事记”等..这本书所介绍的40位图灵奖获得者当中;有不少人的工作对计算机产业的发展产生了深远的影响..例如;明斯基与麦卡锡共同创建了世界上第一个人工智能实验室;巴赫曼主持设计与开发了最早的网状数据库管理系统;并推动与促成了数据库标准的制定;巴克斯发明了世界上第一个高级程序设计语言FORTRAN;之后又首次提出了元语言“巴克斯范式”BNF;科德首次明确而清晰地为数据库系统提出了关系模型;汤普森和里奇设计、开发了应用广泛和影响深远的操作系统MNIX和程序设计语言C;科克因主持IBM801项目而成为RISC概念的首创者;今天RISC技术已成为计算机体系结构的主流技术;萨瑟兰开发成功着名的Skeichpad系统;奠定了他作为“计算机图形学之父”的基础;布鲁克斯主持与领导了被称为人类从原子能时代进入信息时代标志的IBM360系列计算机的开发工作..这些计算机科学技术界的佼佼者提出的一些具有前瞻性的设想或思路对生产技术的进步、人才的培养是大有裨益的..比如;威尔克斯在1967年预见到硬件和软件的结合;程序设计语言和数据结构的重要作用;甚至谈到可移植性问题;而当时结构化程序设计的概念尚未正式提出;巴克斯最早提出了归约的概念;这使变元的概念不复存在;所有的计算目标都通过计算获得;霍尔在基于时态逻辑的逻辑型混合计算模型中引入了时段和切变的概念;科克认为对计算机性能影响最大的因素是算法、编译器和机器组织;其中算法的改进是最重要的;而克努特的宏篇巨着计算机程序设计的艺术;曾被誉为计算机科学工作者的圣经;甚至有人认为其作用和地位可与数学史上欧几里得的几何学原理相媲美.. 通过对20世纪下半叶有代表性计算机科学家的介绍;这本书在一定程度上反映了计算机体系结构、程序设计语言、算法设计与分析、操作系统和编译程序、数据库技术、计算机复杂性理论、软件工程、人工智能等计算机科学技术主要分支的形成过程和发展概况..我印象最深的是IBM360系列计算机的总设计师和总指挥弗雷德里克.布鲁克斯.20世纪最后一年也就是1999年的图灵奖授予了年已69岁的资深计算机科学家弗雷德里克.布鲁克斯FrederickPhillipsBrooks;Jr...布鲁克斯这个名字在中国知者不多;但在美国却是大名鼎鼎的;因为他在20世纪60年代只有29岁时就主持与领导了被称为人类从原子能时代进入信息时代的标志的IBM/360系列计算机的开发工作;取得辉煌成功;从而名噪一时..以后他作为硬件和软件的双重专家和出色的教育家始终活跃在计算机舞台上;在计算机技术的诸多领域中都作出了巨大的贡献..从某种意义上说;对于布鲁克斯而言;图灵奖是一个“迟到的荣誉”..布鲁克斯1931年4月19日生于北卡罗莱纳州的杜哈姆Durham;是一名医生的儿子..1944年艾肯设计的MARKI由IBM生产出来以后;有杂志加以介绍..当时才13岁的布鲁克斯读了以后就产生极大的兴趣;并开始收集老式的商用计算装置..他参加了所在中学的无线电俱乐部和电子工程俱乐部;成为一名积极分子..假期;他用铅皮做成烟管卖给烟农烤烟叶他家乡是产烟区..1953年从杜克大学毕业;取得物理学士学位以后;进入哈佛大学深造;师从他从小仰慕的艾肯;1955年取得硕士学位;1956年取得博士学位..值得指出的是;布鲁克斯取得的是计算机科学的博士学位;是一位“正宗”的计算机博士;是世界上第一批获得计算机科学博士学位的少数学者之一..他的博士论文课题为“自动数据处理系统的分析设计”TheAnalyticDesignofAutomaticDataProcessingSystem..从博士论文开始;布鲁克斯的一生就与计算机结下了不解之缘..在哈佛取得博士学位以后;布鲁克斯进入IBM公司设立在纽约波凯普西Poughkeepsie;NewYork的实验室当工程师..这个实验室从20世纪50年代到80年代一直是IBM开发计算机的中心..布鲁克斯在这里参加了Harvest和STRETCH计算机的开发;任体系结构设计师..这两个型号的计算机引入了一系列新技术;在20世纪50年代后期至60年代初期有很大影响;尤其是STRETCH计算机;当前已成标准的8个二进制位的“字节”byte就是由布霍尔兹WernerBucholz提出;在STRETCH上首次采用的..STEETCH还首创先行控制方式;最多可重叠执行6条连续的指令;后来被发展成流水线方式;因而被认为是世界上第一台流水线计算机..流水线概念的提出者是阿姆达尔GeneAmdahl;他后来离开IBM创办了着名的Amdahl公司;由科克JohnCocke;1987年图灵奖获得者和考尔斯基HarwoodKolsky协助在360上实现..STRETCH共生产9台..在1965年CDC6600问世以前;是世界上最快的超级计算机..Harvest则是IBM在STRETCH的基础上;为美国国家安全局特制的;比STRETCH还大两倍..布鲁克斯在其中的创造性贡献是解决了程序中断系统的设计;以及在数据格式中出现不均匀的字符分布时如何设计其二进制代码multicasebinarycodesfornonuniformcharacterdistributions等问题;并从而在1957年取得了他的第一个美国专利“程序中断系统”ProgramInterruptSystem;专利号3048332;与D.W.Sweenly共有;发表了他最初的两篇学术论文..其中;在程序中断系统的设计中;布鲁克斯和斯温利提出了可屏蔽中断的概念;使用户击键时字符可显示在屏幕上;而计算机的运行却不会混乱..科德E.F.Codd;1981年图灵奖获得者正是利用这一概念为STRETCH设计了第一个交互式多道程序操作系统的..1959年;布鲁克斯曾被调至IBM在约克通高地YorktownHeights;NewYork的研究中心工作;但第二年又重新被调回波凯普茜的实验室;因为当时IBM内部在计算机的研发方向上产生了重大的分歧..1960年时;IBM的计算机生产线上的产品是8000系列;但遭到一些人的反对;其领头人是伊万斯RobertBobOvertonEvans..伊万斯1951年就加盟IBM;曾参与或主持过IBM701、1410和7070等多种型号计算机的开发;已经积累相当丰富的知识和经验..他经过认真分析;认为主要继承IBM原有技术的8000计算机;即使研制成功并上市;过不了几年;即到1964年就会丧失生命力;缺乏市场竞争能力..因此他主张8000下马;采用新的技术开发新的计算机;尤其是要开发新的操作系统..伊万斯的意见使IBM分裂成为两派;一派支持;一派反对;而反对派的领头人正是布鲁克斯两派的争论和对立非常尖锐;又势均力敌;因为伊万斯只是艾奥瓦州立大学电气工程系的一个本科毕业生;学历和学位没有布鲁克斯高;但资历却比他老;双方的支持者人数也差不多..以小沃森ThomasJohnWatson;Jr.为首的IBM 决策层于1961年5月担着极大的风险最后采纳了伊万斯的意见;是年秋宣布成立一外名为SPREAD这是“系统程序设计、研究、工程和开发”的英文SystemsProgramming;Research;EngineeringAndDevelopment的词头缩写的委员会作为taskforce类似于我国过去经常采用的所谓“攻关领导小组”这样一种组织;由13人组成;主席为汉斯特拉JohnW.Haanstra;副主席为伊万斯;布鲁克斯是成员之一..作为争论中赢方的伊万斯冷静地分析了形势以后;作出了一个令人大感意外的决定;他亲自找布鲁克斯;请布鲁克斯主持日后被称为IBM/360的这个新项目..伊万斯这一举动主要基于以下两点考虑;一是如果他自己来主持360;那末原来反对他的意见的人那一派人很难团结在他的周围;二是涉及这样重大改革与创新的项目;应该让年轻人来挑头..他自己虽然当时也只有34岁;但布鲁克斯比他小5岁;更加年轻..难能可贵的是;布鲁克斯作为争论的输方;慨然接受了伊万斯的邀请;同意负责这个他曾经反对过的项目这个故事很像我国京剧舞台上的“将相和”虽然无人“负荆请罪”..伊万斯和布鲁克斯双方在这件事上所表现出来的明智、大度和勇气都十分令人钦佩和赞叹..其结果和效果就是整个IBM公司的职工果然团结起来;实现了艰难而痛苦;然而却是历史性的转变和飞跃..IBM/360的开发总投资5.5亿美元其中硬件2亿;软件3.5亿;比美国研究原子弹的曼哈顿计划的投资20亿美元的四分之一还多..在研制期间;布鲁克斯率领着2000名程序员夜以继日地工作;单单360操作系统的开发就用了5000个人年..因此;当1964年4月7日;在IBM公司纪念其成立50周年的庆祝大会上宣布360系列计算机的时候;小沃森完全有理由声称“这是公司历史上宣布的最重要的产品”..确实;IBM/360以其通用化、系列化和标准化的特点;对全世界计算机产业的发展产生了如此深远的影响;以至被认为是划时代的杰作..而IBM/360的推出;也使IBM在短短两年时间内;即到1966年;其资本积累就增加到45亿美元;职工总数净增6万;达到19万;成为名符其实的“兰色巨人”..到20世纪60年代末;360系列机的市场占有率达到15%;到20世纪70年代中期;超过了50%..各计算机生产厂商纷纷仿效360的榜样;推出各自的系列机..有的则直接采用IBM/360的操作系统;比如着名的Amdahl公司的所谓“插接兼容式”计算机plugcompatiblecomputer就是这样..为此;伊万斯和布鲁克斯两人常常被并称为“IBM/360之父”fatheroftheIBMSystem/360..当然;IBM/360如今早已是“昨日黄花”了..IBM公司在20世纪70年代就推出了370系列替代360;以继续保持其技术上的优势..我们之所以用了一定篇幅介绍IBM/360的故事;是因为其中不乏让我国的企业家、科学家和工程技术人员深思的一些问题..IBM/360的特点我们只简要介绍如下..它是集成电路的计算机..体系结构既便于事务处理;又便于科学计算;系列中各机型初期;规模由小到大;功能从弱到强;包括20、30、40、50、65和75六个型号;后来扩充了25、85、91、195等型号具有兼容性;有标准的输入输出接口和通用的输入输出设备;它们与中央处理器相对独立;软件既有兼容性又有可扩充性;从而可最大限度地保护用户的软件投资..这些特征大多都成为以后计算机设计与开发所遵循的基本原则..IBM/360成功以后;布鲁克斯离开IBM回到其故乡;为北卡大学UniversityofNorthCarolinaatChapelHill;简写UNC创建了计算机科学系;担任该系系主任长达20年1964-1984..卸任以后仍在该系任教至今;因此他培养的学生很多;可谓“桃李满天下”..除了教学以外;他还致力于发展美国的计算机技术和计算机在国防等方面的应用;有许多社会兼职..1966-1970年;他是ACM全国委员会的委员;1973-1975年出任ACM体系结构委员会所谓SIGARCH的主席;1977-1980年布鲁克斯在美国国家研究院计算机科学技术部ComputerScienceandTechnologyBoard;NationalResearchCouncil任职;1983-1984年他是美国国防科学委员会人工智能攻关领导小组的成员AITaskForce;DefenceScienceBoard;1986-1987年是上述委员会另一个攻关领导小组“计算机模拟和训练”ComputerSimulationandTrainingTaskForce的成员;1985-1987年他担任军用软件攻关小组组长MilitarySoftwareTaskForce..他的研究领域除了计算机体系结构、机器语言设计、软件工程和大型项目管理以外;还包括动态体系结构的可视化如walk-througe;即“走查”、人机接口、交互计算机图形学等;十分广泛..20世纪70年代初;布鲁克斯和他的学生赖特WilliamV.Wright同生物化学系的海曼斯JanHermans合作;研究蛋白质折叠问题;实现了可视化分子三维结构系统..后来又与杜克大学的结晶学家金荪和SunHoKim合作;开发成功了能找到tRNA分子的原子坐标的系统;使得以前需要三个月才能完成的工作只要一个星期就可以做完..关于虚拟现实VR-VirtualReality;涉及布鲁克斯曾参与与领导攻关的计算机模拟和训练;是他关心的重点之一;1992年3月由美国国家自然科学基金会NSF主持的虚拟现实研讨会;就是由布鲁克斯等人倡议并在北卡大学召开的;这次会议对VR进行了定义并就其研究方向提出了详细建议;奠定了VR作为独立研究方向的地位..布鲁克斯在筹备及组织此次会议上作出了重要贡献..1987年布鲁克斯当选为美国工程院院士..他同时也是英国皇家学会和荷兰皇家科学与艺术院的外籍院士..布鲁克斯的着作不多;但影响都很大..1963年他和哈佛时的同学和IBM的同事艾弗森KennethIverson;APL发明人;1979年图灵奖获得者合着了自动数据处理AutomaticDataProcessing;Wiley一书;是该领域中最早的专着之一;1969年再版时有2个版本;其中一个专门论述在IBM/360上的数据处理的书名为AutomaticDataProcessing;System/360Edition..1975年;他把他历年来所写的有关软件工程和项目管理方面的文章汇集成书;书名为神话般的人一月:有关软件工程的随笔TheMythicalMan-Month:EssayonSoftwareEngineering;Addison-Wesley..由于本书是他领导IBM/360软件开发经验的结晶;内容丰富而生动;成为软件工程方面的经典之作;出版20年之后即1995年又再版了一次..在本书开头的献词中;布鲁克斯说明他一生最尊敬的两个人一是小沃森;另一就是伊万斯..在这本书中;他明确表示反对软件开发的“瀑布模型”waterfallmodel;而主张尽量从最终用户那里获得设计思想..最后的一本专着是他与荷兰特文德理工大学TwenteTechnicalUniversity;位于荷兰与德国接壤处的恩斯赫德的勃劳夫教授G.A.Blaauw合着的计算机体系结构:概念与发展ComputerArchitecture:ConceptsandEvolution;Addison-Wesley;1997..勃劳夫也是布鲁克斯在哈佛时的同学;后来又在IBM共事多年;曾一起开发过包括IBM/360在内的3个型号的计算机..这本书实际上是对计算机体系结构半个多世纪来的发展变化的一个全面的回顾和总结..作者在书中风趣地把整个计算机家族叫做“计算机动物园”ComputerZoo;对其中的主要成员逐一作了剖析..除了上述学术性着作外;1995年;他与萨瑟兰I.E.Sutherland;“计算机图形学之父”;1988年图灵奖获得者等还合编了一本书;书名是EvolvingtheHighPerformanceComputingandCommunicationsInitiativetoSupporttheNati onalInformationInfrastructure;由NationalAcademyPr.出版;论述了有关高性能计算机计划及信息基础设施也就是所谓“信息高速公路”建设的一系列问题..在这次被授予图灵奖以前;ACM在1987年曾授予布鲁克斯“杰出服务奖”DistinguishedServiceAwar d;1995年曾授予他以纽厄尔A.Newell;1975年图灵奖获得者;1992年去世命名的Newell奖..加上这次的图灵奖;布鲁克斯成为继克努特D.E.Knuth;1974年图灵奖获得者之后第二位同时拥有ACM三个奖项的计算机科学家..IEEE 也先后向布鲁克斯颁给三个奖项;即McDowell奖1970、计算机先驱奖1982和冯.诺伊曼奖1993..AFIPS在1989年授予布鲁克斯HarryGoode奖..数据处理管理协会DPMA1970年授予他“计算机科学”奖;并命名他为该年度的风云人物ManoftheYear..1985年布鲁克斯因在开发IBM/360上的杰出贡献而荣获全国技术奖章NationalMedalofTechnology;同时获此殊荣的还有伊万斯和IBM的另一位功臣布洛克ErichBlock..物理学界的富兰克林学会FranklinInstitute也曾授予布鲁克斯Bower奖BowerPrizeandAward..作为一名普通的计算机专业的学生;我很钦佩这些科学家;在他们身上凝聚着一股力量;一股奋起拼搏的力量;我很感动.现在我能做的就是好好的把自己的专业课学好;努力为着自己的理想奋斗。
网络安全图灵奖
网络安全图灵奖是由国际计算机科学联合会(ACM)每年颁发的一个奖项,用于表彰在计算机和网络安全领域做出重大贡献的个人或团队。
该奖项是对计算机科学界最高荣誉之一,也是对网络安全领域重要成就的肯定和鼓励。
在互联网时代,网络安全问题十分严峻,因此网络安全图灵奖的设立对推动网络安全研究和技术的发展起到了至关重要的作用。
网络安全图灵奖的首次颁发是在2004年,获奖者是Ronald L. Rivest、Adi Shamir和Leonard M. Adleman,他们开发了RSA 加密算法。
RSA算法是一种非对称加密算法,通过利用大素数的性质,实现了加密和解密过程中使用不同的密钥。
这个算法被广泛应用在互联网通信和电子商务中,为保护用户的隐私和保密信息做出了重要贡献。
此后,网络安全图灵奖的获奖者涵盖了从密码学到网络协议、漏洞发现和修复等广泛的领域。
例如,在2012年,Silvio Micali和Shafi Goldwasser因对零知识证明(zero-knowledge proof)的贡献获得该奖项。
零知识证明是一种通过交互证明来验证某种陈述的方法,而不公开实际证明的内容。
这种技术可以应用于密码学和安全协议的设计中,保障了用户的隐私和数据安全。
除了个人贡献,一些组织和团队也因其在网络安全领域的突出贡献而获得网络安全图灵奖。
比如,在2014年,Tor(The Onion Router)团队获得了该奖项。
Tor是一种用于保护通信隐私的匿名通信系统,通过分布式网络,让用户的网络流量经
过多个中间节点,从而隐藏用户的真实IP地址和身份信息。
这一技术对于维护用户隐私、抵御网络监控和攻击非常重要。
通过网络安全图灵奖的设立和颁发,可以增加社会公众对网络安全问题的关注和了解。
同时,该奖项也提高了网络安全研究和技术创新的重要性和意识。
这对于推动网络安全技术的发展和提高整体网络安全水平都起到了积极的促进作用。
网络安全图灵奖作为一个国际性的奖项,不仅对于网络安全领域的科学家和工程师来说是一种荣誉,更重要的是它对于社会的意义,能够激励更多的人投身于网络安全研究和创新工作,为保护网络安全和用户隐私做出更大的贡献。
总之,网络安全图灵奖的设立和颁发为网络安全领域的科学家和研究人员提供了一个才华斟酌的舞台,对于鼓励和推动网络安全技术的发展起到了重要作用。
通过表彰和鼓励那些在网络安全领域取得杰出成就的人或团队,我们可以进一步推动网络安全技术的创新与发展,从而更好地保护用户的隐私和网络安全。