计算机界的诺贝尔奖——图灵奖

    图灵奖（Turing Award），是计算机协会（ACM）于1966年设立的，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。其名称取自世界计算机科学的先驱、英国科学家，英国曼彻斯特大学教授艾伦·图灵（Professor Alan Turing），这个奖设立目的之一是纪念这位现代电脑、计算机奠基者。获奖者必须是在计算机领域具有持久而重大的先进性的技术贡献。大多数获奖者是计算机科学家。
    图灵奖是计算机界最负盛名的奖项，有“计算机界**奖”之称。图灵奖对获奖者的要求极高，评奖程序也极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。目前图灵奖由英特尔公司以及Google公司赞助，奖金为250,000美元。
    每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。
从1966年到2012年的47届图灵奖，共计有60名科学家获此殊荣，其中美国学者最多，此外还有英国、瑞士、荷兰、以色列等国少数学者。截止至2012年，获此殊荣的华人仅有一位，他是2000年图灵奖得主姚期智。而连法国、德国、日本这样一些发达国家的学者也一个都没有，这是令人遗憾的。当然，如同任何奖都不可能绝对客观、公正、公平一样，图灵奖出现的这种不平衡是可以理解的，因为这个组织毕竟发源于美国，总部也设在美国，受美国人控制；就计算机科学技术而言，确实也是美国水平最高，贡献最突出。我们只能这样评论：每个图灵奖获得者确实都是出类拔萃的；但出类拔萃的计算机科学家还有很多由于种种原因而没有获得图灵奖。我们相信，只要中国的计算机学者不断努力，勇于创新，随着中国改革开放的逐步深入和对外学术交流的加强，总有一天，会有中国学者昂首频走上图灵奖的领奖台。
    以下是近几年图灵奖获得者：

年份	获奖者	获奖领域
2010年	莱斯利·瓦伦特 Leslie Valiant	对众多计算理论所做的变革性的贡献
2011年	犹大·伯尔 Judea Pearl	人工智能
2012年	沙菲·戈德瓦塞尔 Shafi Goldwasser 西尔维·奥麦克林 Silvio Micali	由于在密码学和复杂理论领域做出创举性工作

    2010年的图灵奖授予生于英国的理论计算科学家、哈佛大学教授Leslie Valiant，因为其“对众多计算理论（包括PAC学习、枚举复杂性、代数计算和并行与分布式计算）所做的变革性的贡献”。    
    ACM的颁奖词高度评价了Valiant教授30多年对理论计算科学的基础性贡献：

    他的工作开辟了新领域，推出了独创的新概念，并提供了许多兼具原创性、深度和优美的结果。他的工作一次又一次地确立或改变了计算机科学的面貌。

    颁奖词还指出，Valiant最大的贡献是1984年的论文 A Theory of the Learnable 使诞生于1950年代的机器学习领域第一次有了坚实的数学基础，从而扫除了学科发展的障碍，这对人工智能诸多领域包括加强学习、机器视觉、自然语言处理和手写识别等都产生了巨大影响。可以说，没有他的贡献，IBM也不可能造出Watson这样神奇的机器来。他在计算复杂性理论方面也有重要贡献，包括提出了#P-completeness。他1979年提出的上下文无关分析算法，至今仍然是最快的之一。在并行与分布式计算领域，他1990年提出了著名的BSP并行模型，至今还是这一学科的必读论文。
    2011年的图灵奖颁布给了UCLA的Judea Pearl教授，奖励他在人工智能领域的基础性贡献，他提出概率和因果性推理演算法，彻底改变了人工智能最初基于规则和逻辑的方向。
    Judea Pearl的工作改变了人工智能，他通过在不确定的条件下为信息处理创造了一个具有代表性的计算基础。他的工作超出了基于逻辑理论基础的人工智能以及基于规则科技的专家系统范畴。他指出智能系统所面临的不确定性是一个核心问题，并且提出概率论算法作为知识获取及表现的有效基础。
    2012年度图灵奖得主：麻省理工学院机电工程与计算机科学系RSA教授&以色列魏茨曼科学研究所算机科学与应用数学教授Shafi Goldwasser、麻省理工学院工程学教授Silvio Micali。
    两位教授共同工作，开创了可证明安全性领域的先河，奠定了现代密码学理论的数学基础。通过形式化加密安全是可计算的而不是绝对的概念，他们创造出了将密码学从艺术变为一门科学的数据架构。
    Shafi Goldwasser和Silvio Micali最重要的贡献则是1985年的论文中，与Charles Rackoff一起发表了题为“知识复杂性的交互证明系统”。这一概念的引入证明了一个引人注目的新哲学理念，通过控制泄露知识提供了必要的语言谈论安全加密协议。这些论文展示了零知识协议的力量和实用性，证明了他们的理论是无所不在和无所不能。