| 释义 |
什么是图灵奖？
图灵奖是计算机界的诺贝尔奖。每年，美国计算机协会对在计算机领域做出永恒、重大技术贡献的个人授予图灵奖。该奖以英国数学家阿兰·M.图灵（Alan M. Turing，1912—1954）的名字命名，首次颁发于1966年。目前图灵奖奖金增加到100万美元，由英特尔公司与谷歌公司提供。近些年图灵奖的获得者包括：
| 年份 | 中文译名 | 姓名 | 贡献领域 | | 2004年 | 文顿·瑟夫 | Vinton G. Cerf | TCP／IP协议 | | 罗伯特·卡恩 | Robert E. Kahn | | 2005年 | 彼得·诺尔 | Peter Naur | Algol 60语言 | | 2006年 | 法兰西斯·艾伦 | Frances E. Allen | 优化编译器 | | 2007年 | 爱德蒙·克拉克 | Edmund M. Clarke | 开发自动化方法检测计算机硬件和软件中的设计错误 | | 艾伦·爱默生 | Allen Emerson | | 约瑟夫·斯发基斯 | Joseph Sifakis | | 2008年 | 芭芭拉·利斯科夫 | Barbara Liskov | 编程语言和系统设计的实践与理论 | | 2009年 | 查尔斯·萨克尔 | Charles Thacker | 帮助设计、制造第一款现代PC | | 2010年 | 莱斯利·瓦伦特 | Leslie Valiant | 对众多计算理论所做的变革性的贡献 | | 2011年 | 朱迪亚·珀尔 | Judea Pearl | 人工智能 | | 2012年 | 沙菲·戈德瓦塞尔 | Shafi Goldwasser | 在密码学和复杂理论领域做出创举性工作 | | 希尔维奥·米卡利 | Silvio Micali | | 2013年 | 莱斯利·兰伯特 | Leslie Lamport | 在提升计算机系统的可靠性及稳定性领域的杰出贡献 | | 2014年 | 迈克尔·斯通 | Michael | 对现代数据库系统底层的概念与实践所做出的基础性贡献 | | 布雷克 | Stonebraker |
|