摘要：美国计算机协会（ACM）近日公布了2007年度图灵奖（Turing Award）的评选结果，本年度图灵奖授予Edmund M.Clarke，E Allen Emerson和Joseph Sifakis三位科学家，表彰他们开发模型检测技术，并使之成为一个广泛应用在硬件和软件工业中非常有效的算法验证技术所做的奠基性贡献。图灵奖有“计算机界诺贝尔奖”之称，对获奖者要求极高，评奖程序亦极严格，目前由英特尔和Google公司赞助，奖金为25万美元。

关键词：图灵奖 科学家 三位 google公司 检测技术 

单位：