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

历届图灵奖获得者及获奖原因：图灵奖（Turing Award，又译杜林奖），是计算机协会（ACM）于1966年设立的，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。目前图灵奖由英特尔公司以及Google公司赞助，奖金为250,000美元。2012 Shafi Goldwasser和Silvio Micali获奖原因：在密码科学复杂理论基础过程中做出变革性工作，并且发展了保证网上交易安全的黄金法则”。2011 Judea Pearl获奖原因：通过概率论和因果推理对人工智能领域作出的根本性贡献2010Leslie Valiant对众多计算理论所做的变革性的贡献获奖原因：表彰他在让计算机模拟人类思考和逻辑推理方面作出的突出贡献。2009 Charles Thacker获奖原因：对第一台现代个人计算机Xerox PARC Alto的先驱性设计与实现，还有在局域网（包括以太网）、多处理器工作站、窥探高速缓存一致性协议和平板PC等方面的重大发明和贡献2008 Barbara Liskov编程语言和系统设计的实践与理论获奖原因：第一个支持数据抽象的面向对象编程语言CLU的设计与实现，第一个支持分布式程序实现的高级语言Argus，面向对象数据库系统Thor，还有最近的Byzantine分布式容错系统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的基础性贡献。至理名言：预测未来的最好方法是创造它。 2002 Ronald L. Rivest、Adi Shamir、Leonard M. Adleman获奖原因：由于在公共密钥理论和实践方面的基础性工作。 2001 Ole-Johan Dahl、Kristen Nygaard获奖原因：由于面向对象编程始发于他们基础性的构想，这些构想集中体现在他们所设计的编程语言SIMULA I 和SIMULA 67中。 2000 Andrew Chi-Chih Yao(姚期智)获奖原因：由于在计算理论方面的贡献而获奖，包括伪随机数的生成算法、加密算法和通讯复杂性。 1999 Frederick P. Brooks, Jr.获奖原因：由于在计算机体系架构、操作系统以及软件工程方面所做出的具有里程碑式意义的贡献。人月神话的作者。 1998 James Gray获奖原因：由于在数据库、事务处理研究和相关系统实现的技术领导工作。 1997 Douglas Engelbart获奖原因：由于提出了激动人心的交互式计算机未来构想，以及发明了实现这一构想的关键技术。 1996 Amir Pnueli获奖原因：由于在计算科学中引入temporal逻辑以及对编程和系统认证方面的杰出贡献。 1995 Manuel Blum获奖原因：由于在计算复杂性理论、密码学以及程序校验方面的基础性贡献。 1994 Edward Feigenbaum、Raj Reddy获奖原因：由于他们所设计和建造的大规模人工智能系统，证明了人工智能技术的重要性和其潜在的商业价值。 1993 Juris Hartmanis、Richard E. Stearns获奖原因：由于他们的论文奠定了计算复杂性理论的基础。 1992 Butler W. Lampson获奖原因：由于在个人分布式计算机系统及其实现技术上的贡献，这包括：工作站、网络、操作系统、编程系统、显示、安全和文档发布。 1991 Robin Milner获奖原因：由于在可计算函数逻辑(LCF)、ML和并行理论(CCS)这三个方面突出和完美的贡献。 1990 Fernando J. Corbato获奖原因：由于组织和领导了多功能、大规模、时间和资源共享的计算机系统的开发。 1989 William (Velvel) Kahan获奖原因：由于在数值分析方面的基