2013年(13)
分类: IT业界
2013-05-16 15:43:19
ACM的颁奖词高度评价了Valiant教授30多年对理论计算科学的基础性贡献:
他的工作开辟了新领域,推出了独创的新概念,并提供了许多兼具原创性、深度和优美的结果。他的工作一次又一次地确立或改变了计算机科学的面貌。
颁奖词还指出,Valiant最大的贡献是1984年的论文 使诞生于1950年代的机器学习领域第一次有了坚实的数学基础,从而扫除了学科发展的障碍,这对人工智能诸多领域包括加强学习、机器视觉、自然语言处理和手写识别等都产生了巨大影响。可以说,没有他的贡献,IBM也不可能造出来。
他在计算复杂性理论方面也有重要贡献,包括提出了。他1979年提出的上下文无关分析算法,至今仍然是最快的之一。
二.犹大.伯尔
2011年,图灵奖颁发给了 UCLA 的 Judea Pearl 教授(75岁),奖励他在人工智能领域的基础性贡献,他提出概率和因果性推演演算法,彻底改变了人工智能最初基于规则和逻辑的方向。
Judea Pearl 的工作改变了人工智能,他通过在不确定的条件下为信息处理创造了一个具有代表性的计算基础。他的工作超出了基于逻辑理论基础的人工智能以及基于规则科技的专家系统范畴。他指出智能系统所面临的不确定性是一个核心问题,并且提出概率论算法作为知识获取及表现的有效基础。
三.Shafi Goldwasser、Silvio Micali
2012年度图灵奖得主:麻省理工学院机电工程与计算机科学系RSA教授&以色列魏茨曼科学研究所算机科学与应用数学教授Shafi Goldwasser、麻省理工学院工程学教授Silvio Micali。
两位教授共同工作,开创了可证明安全性领域的先河,奠定了现代密码学理论的数学基础。通过形式化加密安全是可计算的而不是绝对的概念,他们创造出了将密码学从艺术变为一门科学的数据架构。
Shafi Goldwasser和Silvio Micali最重要的贡献则是1985年的论文中,与Charles Rackoff一起发表了题为“知识复杂性的交互证明系统”。这一概念的引入证明了一个引人注目的新哲学理念,通过控制泄露知识提供了必要的语言谈论安全加密协议。这些论文展示了零知识协议的力量和实用性,证明了他们的理论是无所不在和无所不能。