计算机界诺贝尔奖颁给谁了
计算机科学界的诺贝尔奖是图灵奖,就是说诺贝尔奖没有设立“计算机”方面的奖项。
1966A.J.Perlis---PhD,MIT;Prof,Yale(wasProfatCMU)(deceased)
因在新一代编程技术和编译架构方面的贡献而获奖.
1967MauriceV.Wilkes---PhD,Cambridge;Prof,Cambridge
因设计出第一台程序实现完全内存的计算机而获奖.
1968RichardW.Hamming---PhD,UIUC;Prof,NavalPostgraduateSchool
(wasatBell)(deceased)
因在计数方法、自动编码系统、检测及纠正错码方面的贡献被授予图灵奖.
1969MarvinMinsky---PhD,Princeton,Prof,MIT
因对人工智能的贡献被授予图灵奖.
1970J.H.Wilkinson---BS,Cambridge;staff,NationalPhysical
Laboratory,London
因在利用数值分析方法来促进高速数字计算机的应用方面的研究而获奖.
1971JohnMcCarthy---PhD,Princeton;Prof,Stanford
因对人工智能的贡献被授予图灵奖.
1972EdsgerW.Dijkstra---PhD,UAmsterdam;Prof,UTAustin
因在编程语言方面的出众表现而获奖.
1973CharlesW.Bachman---staff,Honeywell
因在数据库方面的杰出贡献而获奖.
1974DonaldE.Knuth---PhD,Caltech;Prof,Stanford
因设计和完成TEX(一种创新的具有很高排版质量的文档制作工具)而被授予该奖.
1975AllenNewell---PhD,Stanford;Prof,CMU(deceased)
andHerbertA.Simon---PhD,Chicago;Prof,CMU(deceased)
因在人工智能、人类识别心理和表处理的基础研究而获奖.
1976MichaelO.Rabin---PhD,Princeton;Prof,Harvard
andDanaS.Scott---PhD,Princeton;Prof,CMU
因他们的论文"有限自动机与它们的决策问题"中所提出的非决定性机器这一很有价
值的概念而获奖.
1977JohnBackus---BS,Columbia;staff,IBM
因对可用的高级编程系统设计有深远和重大的影响而获奖.
1978RobertW.Floyd---BS,Chicago;Prof,Stanford
因其在软件编程的算法方面的影响,并开创了包括剖析理论、编程语言的语义、自
动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖.
1979KennethE.Iverson
因对程序设计语言理论、互动式系统及APL的贡献被授予该奖.
1980C.AnthonyR.Hoare---Prof,Oxford(nowatMicrosoft)
因对程序设计语言的定义和设计所做的贡献而获奖.
1981EdgarF.Codd---PhD,Michigan;staff,IBM
因在数椐库管理系统的理论和实践方面的贡献而获奖.
1982StevenA.Cook---PhD,Harvard;Prof,UToronto
因奠定了NP-Completeness理论的基础而获奖.
1983KenThompson---MS,Berkeley;staff,Bell-Labs
andDennisM.Ritchie---PhD,Harvard;staff,Bell-Labs
因在类属操作系统理论,特别是UNIX操作系统的推广而获奖.
1984NiklausWirth---PhD,Berkeley;Prof,ETHZurich
因开发了EULER、ALGOL-W、MODULA和PASCAL一系列崭新的计算语言而获奖.
1985RichardM.Karp---PhD,Harvard;Prof,Berkeley
因对算法理论的贡献而获奖.
1986JohnE.Hopcroft---PhD,Stanford;Prof,Cornell
andRobertE.Tarjan---PhD,Stanford;Prof,Princeton
因在算法及数据结构的设计和分析中所取得的决定性成果而获奖.
1987JohnCocke---staff,IBM
因在面向对象的编程语言和相关的编程技巧方面的贡献而获奖.
1988IvanE.Sutherland---PhD,MIT;staff,Sun
因在计算机图形学方面的贡献而获奖.
1989WilliamV.Kahan---PhD,UToronto;Prof,Berkeley
因在数值分析方面的贡献而获奖,他是是浮点计算领域的专家.
1990FernandoJ.Corbato---PhD,MIT;Prof,MIT
因在开发大型多功能、可实现时间和资源共享的计算系统,如CTSS和Multics方面
的贡献而获奖.
1991RobinMilner---Prof,Cambridge(wasatUEdinburgh)
因在可计算的函数的逻辑(LCF)、ML和并行理论(CCS)这三个方面的贡献而获奖.
1992ButlerLampson---PhD,Berkeley;staff,Microsoft
因在个人分布式计算机系统(包括操作系统)方面的贡献而获奖.
1993JurisHartmanis---PhD,Caltech;Prof,Cornell
andRichardE.Stearns---PhD,Princeton;Prof,SUNYAlbany
因奠定了计算复杂性理论的基础而获奖.
1994RajReddy---PhD,Stanford;Prof,CMU
andEdwardFeigenbaum(PhD,CMU;Prof,Stanford)
因对大型人工智能系统的开拓性研究而获奖.
1995ManuelBlum---PhD,MIT;Prof,Berkeley
因奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献而获奖.
1996AmirPnueli---PhD,WeizmannInstitute;Prof,NYU
因在计算中引入Temporal逻辑和对程序及系统检验的贡献被获奖.
1997DouglasEngelbart---PhD,Berkeley;staff,SRI
因提出互动式计算概念并创造出实现这一概念的重要技术而获奖.
1998JamesGray---PhD,Berkeley;staff,Microsoft
因在数据库和事务处理方面的突出贡献而获奖.
1999FrederickP.Brooks,Jr.---PhD,Harvard;Prof,UNC
因对计算机体系结构和操作系统以及软件工程做出了里程碑式的贡献.
2000AndrewChi-ChihYao---PhD,UIUC;Prof,Princeton(姚期智,首位华
人获奖者)
因对计算理论做出了诸多根本性的重大贡献.
2001Ole-JohanDahl,andKristenNygaard---Profs,UOslo
因他们在设计编程语言SIMULAI和SIMULA67时产生的基础性想法,这些想法是面
向对象技术的肇始.
2002RonaldL.Rivest---PhD,Stanford;MIT;
andAdiShamir---PhD,Weizmann;
andLeonardM.Adelman---PhD,Berkeley;USC
因他们在公共密匙算法上所做的杰出贡献(RSA算法是当前在互联网传输、银行以及
信用卡产业中被广泛使用的安全基本机制).
2003AlanKay---PhD,Utah;HPLabs(wasatXeroxPARC)
因发明第一个完全面向对象的动态计算机程序设计语言Smalltalk.
2004VintonG.Cerf、RobertE.Kahn
因在互联网方面开创性的工作,这包括设计和实现了互联网的基础通讯协议,
TCP/IP,以及在网络方面卓越的领导。
2005PeterNaur
因在设计Algol60语言上的贡献。由于其定义的清晰性,Algol60成为了许多现代
程序设计语言的原型。
2006FrancesAllen(首位女性获奖者)
因对于优化编译器技术的理论和实践做出的先驱性贡献,这些技术为现代优化编译
器和自动并行执行打下了基础。
2007EdmundM.Clarke、EAllenEmerson和JosephSifaki
表彰他们开发模型检测技术,并使之成为一个广泛应用在硬件和软件工业
中非常有效的算法验证技术所做的奠基性贡献。
1981年在美国工作的EdmundClarke和AllenEmerson以及在法国的Sifakis分别提
出了模型检测(ModelChecking)的最初概念,并且他们开发了一套用于判断硬件
和软件设计的理论模型是否满足规范的方法,此外,当系统检测失败时,还能利用
它确定代码中问题存在的位置。
少儿机器人编程竞赛省一等奖在高考中有用吗
这证明学生具有创新能力,有特长。可以参加自主招生,个别高校十分重视科技创新,有这个奖项,可以获得报送资格,或者录取降分优待。
机器人编程为使机器人完成某种任务而设置的动作顺序描述。
哪些证书含金量高
c盘下sa.txt 和mpknrl.exe不停出现 瑞星无法根本清除
建议下载SREng扫描一份日志报告发送到各大反病毒论坛求助。或者发到我邮箱里(xiaolin38@vip.qq.com)以便分析
(SREng下载)