编程机器获奖(电脑如何编程控制机器)

2023-11-25 05:03:06 数码极客 bianji01

 

计算机界诺贝尔奖颁给谁了

计算机科学界的诺贝尔奖是图灵奖,就是说诺贝尔奖没有设立“计算机”方面的奖项。

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下载)

声明:易趣百科所有作品(图文、音视频)均由用户自行上传分享,仅供网友学习交流。若您的权利被侵害,请联系315127732@qq.com
广告位招租
横幅广告