谈谈图灵奖
二月四日，ACM宣布2007年计算机界最高荣誉奖–图灵奖，评选揭晓。来自美国卡内基梅隆大学（CMU）计算机系的Edmund M. Clarke， 来自美国得克萨斯大学奥斯汀分校（University of Texas at Austin)计算机系的E. Allen Emerson，和来自法国University of Grenoble的Joseph Sifakis共同获得此计算机界的“诺贝尔”奖。在ACM的官方网站上，对上述三位杰出科学家的学术贡献评价如下：
“For his role in developing Model-Checking into a highly effective verification technology, widely adopted in the hardware and software industries. ”
A.M.Turing图灵奖是由位于美国哥伦比亚大学的国际计算机协会ACM(Association of Computing Machinery)于1966年创立的。Turing图灵一词是为了纪念英国数学家、逻辑学家，计算机科学的先驱艾伦·麦席森·图灵(Alan Mathison Turing)而命名。根据ACM提供的标准，获奖者的贡献必须是在计算机领域具有持久而重大的技术先进性的。因而大多数获奖者是计算机科学家。该奖项目前由美国英特尔公司提供赞助，每位获奖者将被授予10万美元奖金。
我曾对图灵奖奉若神明。若干年前，还幻想着能够有朝一日，在A.M.Turing的历史上留下自己的名字。直到最近几年，在对计算机科学有了更进一步的了解之后，我发现，相对于理论开拓者来说，实践家才是软件这个产业更为需要的人才。这也就是为何我选择了软件工程的原因吧。
是否选择实践的道路就自动放弃了问鼎科学巅峰的机会，这恐怕在很多学科上还有待验证。但对图灵奖来说，答案似乎是肯定的。通过对历任获奖者的研究，我们不难发现，多数获奖者们拥有物理或数学方面的背景，而这些恰是他们最初的研究方向。简单地说，当前专门针对计算机科学进行的教育几乎不可能造就出一个图灵奖得主。亦或者是，目前的计算机科学尚未或永不可能完全发展成一门独立、完整的科学，我们仍需要众多的数学、物理学家的帮助来建立一套属于自己的理论体系。
令人兴奋的是，计算机科学最强大的魅力恰好正是它无与伦比的实践性能。如今，从某种意义上来说，计算机实践的本身已经发展成了一门近似完整的学科，并且发挥着人类历史上史无前例的效益。我们应当有理由相信，图灵奖最终将敞开视野，成为计算机学科领域共同的力量之源。