历届图灵奖获得者及获得原因

《历届图灵奖获得者及获得原因》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、历届图灵奖获得者及获奖原因：图灵奖（TuringAward，又译杜林奖），是计算机协会（ACM）于1966年设立的，又叫“A.M.图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。目前图灵奖由英特尔公司以及Google公司赞助，奖金为250,000美元。2012ShafiGoldwasser和SilvioMicali获奖原因：在密码科学复杂理论基础过程中做出变革性工作，并且发展了保证网上交易安全的黄金法则”。2011JudeaPearl获奖原因：通过概率论和因果推理对人工智能领域作出的根本性贡献2010L

2、eslieValiant对众多计算理论所做的变革性的贡献获奖原因：表彰他在让计算机模拟人类思考和逻辑推理方面作出的突出贡献。2009CharlesThacker获奖原因：对第一台现代个人计算机XeroxPARCAlto的先驱性设计与实现，还有在局域网（包括以太网）、多处理器工作站、窥探高速缓存一致性协议和平板PC等方面的重大发明和贡献2008BarbaraLiskov编程语言和系统设计的实践与理论获奖原因：第一个支持数据抽象的面向对象编程语言CLU的设计与实现，第一个支持分布式程序实现的高级语言Argus，面

3、向对象数据库系统Thor，还有最近的Byzantine分布式容错系统2007EdmundM.Clarke、AllenEmerson和JosephSifakis获奖原因：在将模型检查发展为被硬件和软件业中所广泛采纳的高效验证技术上的贡献。而DDJ则将三人的贡献称为“在发现计算机硬件和软件中设计错误的自动化方法方面的工作”。2006FranAllen获奖原因：对于优化编译器技术的理论和实践做出的先驱性贡献，这些技术为现代优化编译器和自动并行执行打下了基础。2005PeterNaur获奖原因：由于在设计Algol6

4、0程序设计语言上的贡献。Algol60语言定义清晰，是许多现代程序设计语言的原型。2004VintonG.Cerf、RobertE.Kahn获奖原因：由于在互联网方面开创性的工作，这包括设计和实现了互联网的基础通讯协议，TCP/IP，以及在网络方面卓越的领导。2003AlanKay获奖原因：由于在面向对象语言方面原创性思想，领导了Smalltalk的开发团队，以及对PC的基础性贡献。至理名言：预测未来的最好方法是创造它。2002RonaldL.Rivest、AdiShamir、LeonardM.Adleman

5、获奖原因：由于在公共密钥理论和实践方面的基础性工作。2001Ole-JohanDahl、KristenNygaard获奖原因：由于面向对象编程始发于他们基础性的构想，这些构想集中体现在他们所设计的编程语言SIMULAI和SIMULA67中。2000AndrewChi-ChihYao(姚期智)获奖原因：由于在计算理论方面的贡献而获奖，包括伪随机数的生成算法、加密算法和通讯复杂性。1999FrederickP.Brooks,Jr.获奖原因：由于在计算机体系架构、操作系统以及软件工程方面所做出的具有里程碑式意义的贡

6、献。人月神话的作者。1998JamesGray获奖原因：由于在数据库、事务处理研究和相关系统实现的技术领导工作。1997DouglasEngelbart获奖原因：由于提出了激动人心的交互式计算机未来构想，以及发明了实现这一构想的关键技术。1996AmirPnueli获奖原因：由于在计算科学中引入temporal逻辑以及对编程和系统认证方面的杰出贡献。1995ManuelBlum获奖原因：由于在计算复杂性理论、密码学以及程序校验方面的基础性贡献。1994EdwardFeigenbaum、RajReddy获奖原因

7、：由于他们所设计和建造的大规模人工智能系统，证明了人工智能技术的重要性和其潜在的商业价值。1993JurisHartmanis、RichardE.Stearns获奖原因：由于他们的论文奠定了计算复杂性理论的基础。1992ButlerW.Lampson获奖原因：由于在个人分布式计算机系统及其实现技术上的贡献，这包括：工作站、网络、操作系统、编程系统、显示、安全和文档发布。1991RobinMilner获奖原因：由于在可计算函数逻辑(LCF)、ML和并行理论(CCS)这三个方面突出和完美的贡献。1990Ferna

8、ndoJ.Corbato'获奖原因：由于组织和领导了多功能、大规模、时间和资源共享的计算机系统的开发。1989William(Velvel)Kahan获奖原因：由于在数值分析方面的基础性贡献。1988IvanSutherland获奖原因：由于在计算机图形学方面开创性和远见性的贡献，其所建立的技术历经二、三十年依然有效。1987JohnCocke获奖原因：由于在编译器设计和理论、大规模系统架构以及开发