美国计算机协会（ACM）近日公布了2007年度图灵奖（Turing Award）的评选结果，本年度图灵奖授予Edmund M. Clarke、E Allen Emerson和Joseph Sifakis三位科学家，表彰他们开发模型检测技术，并使之成为一个广泛应用在硬件和软件工业中非常有效的算法验证技术所做的奠基性贡献。
1981年在美国工作的Edmund Clarke和Allen Emerson以及在法国的Sifakis分别提出了模型检测（Model Checking）的最初概念，并且他们开发了一套用于判断硬件和软件设计的理论模型是否满足规范的方法，此外，当系统检测失败时，还能利用它确定代码中问题存在的位置。
英特尔研究中心副总裁Andrew Chien说：“英特尔和整个计算机工业都从他们的贡献中直接获益”。Google的高级工程副总裁Alan Eustace说：“Google像其他同时代的技术公司一样，很大一部分成功都来自于先驱们的研究贡献”。
图灵奖由美国计算机协会于1966年设立，专门奖励那些对计算机事业做出重要贡献的个人，其名称取自计算机科学先驱，英国科学家阿兰·图灵。获奖者的贡献必须在计算机领域具有持久而重大的影响。
图灵奖有“计算机界诺贝尔奖”之称，对获奖者要求极高，评奖程序亦极严格，目前由英特尔和Google公司赞助，奖金为25万美元。
目前获此殊荣的华人科学家仅姚期智一人。
