认证主体：靳**（实名认证）
IP属地：天津
下载本文档
10、的开拓性研究而获奖.1995ManuelBlum-PhD,MIT;Prof,Berkeley因奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献而获奖.1996AmirPnueli-PhD,WeizmannInstitute;Prof,NYU因在计算中引入Temporal逻辑和对程序及系统检验的贡献被获奖.1997DouglasEngelbart-PhD,Berkeley;staff,SRI因提出互动式计算概念并创造出实现这一概念的重要技术而获奖.1998JamesGray-PhD,Berkeley;staff,Microsoft因在数据库和事务处理方面的突出贡献而获奖.I1999Fre
14、enEmerson 和 JosephSifakis获奖原因：在将模型检查发展为被硬件和软件业中所广泛采纳的、- I I ,：产产.XjjT .高效验证技术上的贡献。而DDJ则将三人的贡献称为“在发现计算机 硬件和软件中设计错误的自动化方法方面的工作”。2008 BarbaraLiskov在计算机程序语言设计方面的开创性工作。她的贡献是让机软件更加可靠、安全和更具一致性。2009CharlesThacker对第一台现代个人计算机XeroxPARCAlto的先驱性设计与实现，还有 在局域网（包括以太网）、多处理器工作站、窥探高速缓存一致性协议和平板PC等方面的重大发明和贡献2010LeslieVa
15、liant过去30年来，莱斯利瓦伦特为人工智能进步提供了理论基础，在改进机器学习方面取得骄人成绩。他在计算科学和数学领域的远见及认知理论与其它技术结合后，开创了机器学习和通信的新时代，如IBM推出的计算系统已经能够挑战人类回答问题的能力。2011 年 JudeaPearl因其在人工智能领域的卓越贡献获奖2012 年 ShafiGoldwasserSilvioMicali由于在密码学和复杂理论领域做出创举性工作获奖Knuth从31岁那年起，他开始出版他的历史性经典巨著：TheArtofComputerProgramming 。他计划共写7卷，然而仅仅出版三卷之后，已经震惊世界，使他获得计算机科学
16、界的最高荣誉TuringAward ,此时，他年仅36岁。后来，此书与牛顿的 自然哲学的数学原理”等一起，被评为世界历史上最伟大的十种科学著作”之在计算机科学上，他主要是一位理论家。然而，他在理论以外也同样做出惊人的成就。鼎鼎大名的排版软件Tex,就是他的作品。此外，还有Metafont等，也在世界上得到广泛使用。他的其它著作和论文难以数计，其中包括 ConcreteMathematics 等名著。从1977年起，他获得FletcherJonesProfessorofComputerScience的头衔，并且同时兼任ProfessorofElectricalEngineering 。1990
17、年，斯坦福大学更授予他一 个非同寻常的头衔ProfessorofTheArtofComputerScience ，作为对他 的特殊贡献的承认！他的其它荣誉数不胜数，其中主要的有：美国国家科学院院士， 美国艺术与科学院院士，美国工程院院士，法国科学院外籍院士，挪威科学院外籍院士.；美国数学会Steele奖，瑞典皇家科学院Adelskold奖，以色列工学院Harvey奖,1EEE冯诺依曼奖，东京高 科技奖共达数十个之多。同时，他还是牛津大学等二十几所大学 的荣誉博士。早在1970年，他就在国际数学大会上做过特邀报告。Knuth获得图灵奖时为36岁，他是历史上最年轻的图灵奖获得者。 相比之下，其他获
18、得图灵奖的人当时一般都是五十几岁或者六十几 岁，可见Knuth有多伟大！ Knuth很早就提前退休，为的是集中精力 、.I I -£ .把巨著TheArtofComputerProgramming 写完。他一生共带过二十四 个博士生，发誓不会再带更多的学生。姚期智(AndrewChi-ChihYao , 1946 年 12 月 24 日-),美籍华人, 世界著名计算机科学家，2000年图灵奖得主，目前是清华大学教授。姚期智祖籍湖北孝感，1946年平安夜出生于上海，幼年随父母移 居台湾。1967年，姚期智毕业于台湾大学，之后赴美国深造。 1972 年获哈佛大学物理学博士学位，1975年获伊利诺大学香槟分校(UIUC)计算机科学博士学位。之后，他曾先后在麻省理工学院(1975 1976)、斯坦福大学(1976 1981 , 1983 1986)、加州大学伯克利分校(1981 1983)等美国高
0/150
联系客服
本站为文档C2C交易模式，即用户上传的文档直接被用户下载，本站只是中间服务平台，本站所有文档下载所得的收益归上传人(含作者)所有。人人文库仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对上载内容本身不做任何修改或编辑。若文档所含内容侵犯了您的版权或隐私，请立即通知人人文库网，我们立即给予删除！