2010 莱斯利·瓦里安特(Leslie Gabriel Valiant),以表彰他在机器学习理论以及计算机科学诸多方面的奠基性贡献。1984年他在《ACM通讯》上发表了论文“学习能力理论”(A Theory of the Learnable)。莱斯利在论文中提出了PAC模型,即“概率近似正确”(probably approximately correct)的学习模型。
2009 查尔斯·泰克(Charles Thacker),其因帮助设计、制造第一款现代PC电脑Alto而获此殊荣。
2008 麻省理工学院(MIT)女教授芭芭拉•利斯科夫(Barbara Liskov),表彰她在计算机程序语言设计方面的开创性工作,突破性研究成果实际上支撑起整个现代应用软件行业,成为现代编程语言如Java、C#和C++语言的基础。
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
获奖原因:由于在计算复杂性
历年图灵奖获得者 来自淘豆网m.daumloan.com转载请标明出处.
