2006年获奖，作为一名编译器优化领域的先驱，她的成就主要包括编译器的基本原理、代码优化和并行编译等。
2007年度图灵奖授予Edmund M. Clarke、E Allen Emerson和Joseph Sifakis三位科学家，表彰他们开发模型检测技术，并使之成为一个广泛应用在硬件和软件工业中非常有效的算法验证技术所做的奠基性贡献。
2007年获奖，因其突出的在应用数学方面的突出成绩而获得图灵奖.
2007年获奖，由于在将模型检查方法应用于实时系统的验证方面的工作而使Joseph Sifaki在国际上获得声誉。他是广泛应用于工业界的“模型检查”技术的发明者。
2008年度美国计算机学会（ACM）图灵奖（Turing Award）获得者。计算机科学与人工智能实验室编程方法论小组负责人。美国第一个获得计算机科学博士学位的女性（1968年，斯坦福大学），其创新性研究给计算机编程领域带来了巨大变革，事实上，它巩固了用户和企业应用计算机的基础。
因设计与实现了第一台现代个人电脑Xerox Alto而荣获2009年图灵奖。
2010年获奖，授予Dr. Les Valiant图灵奖，以表彰其在计算理论方面，特别是机器学习领域中的概率近似正确理论的开创性贡献，枚举和计算代数复杂性，并行和分布式系统方面的其他贡献。
2011年获奖，他在人工智能领域的基础性贡献，他提出概率和因果性推理演算法，彻底改变了人工智能最初基于规则和逻辑的方向。
2012年和希尔维奥·米卡利（Silvio Micali）因其在密码学和复杂理论领域做出创举性工作、并且发展了保证网上交易安全的黄金法则而被授予第四十七届图灵奖。
希尔维奥
2013年获奖，因其在提升计算机系统的可靠性及稳定性领域以及在分布式计算方面的杰出贡献被授予第四十八届图灵奖
2014年获奖，Michael Stonebraker在数据库领域以多产而著称，发明了许多几乎所有现代数据库系统所用的概念，创办了无数成功的数据库技术公司。
本文来源：中关村在线
责任编辑：
王晓易_NE0011
