奖励他们三人开发出自动化方法检测计算机硬件和软件中的设计错误方法。
这个颁奖也说得过去，获得图灵奖的是三个人，他们做的自动化监测方法，确实对纠错工作很有用，让计算机朝着更智能的方向发展。
赵奕一个人对上三个人，感觉还是处在下风度的。
现在图灵奖又出评选结果了。
早在去年的三月份，图灵奖获奖人公布以后，好多人就认为，今年的图灵奖一定会属于赵奕，因为他用‘筛选法’完成了一种算法，帮助扩大粒子对撞实验的异常信号，还发现了疑似希格斯粒子的新粒子信号。
这是个物理学的巨大成果，但说是计算机成果也可以，重要的是，所有人看到了‘筛选法’的作用。
所以‘筛选法’一定会帮助赵奕获得图灵奖。
结果……
获得图灵奖的依旧不是赵奕，而是麻省理工学院电子电气与计算机科学系的女教授芭芭拉-利斯科夫。
图灵奖评选委员会，公布的获奖原因是，“奖励芭芭拉-利斯科夫在编程语言和系统设计的实践与理论工作。”
这个说法很笼统。
就像是某些‘终身成就奖’的评选时，会说奖励某某科学家‘一生在某某学科研究中所做的贡献’。
但是，图灵奖不是终身成就奖，而是奖励具体的研究内容。
图灵奖评选委员会公布了获奖人后，舆论马上就发酵起来，第一就是质疑芭芭拉-利斯科夫的获奖，第二就是质疑赵奕没有获奖。
评选委员会的发言人，面对采访时说道，“我们的评选很公正。”
“利斯科夫教授的编程方法论，其创新性研究给编程领域带来了巨大变革，具有很深刻的意义。”
“赵奕是个很优秀的天才，但他的‘筛选法’，只是一种计算机算法，并不足以获奖。”
这个说法勉强让一些人接受。
他们能接受的原因，大概是因为芭芭拉-利斯科夫是M国人，而赵奕是一名中国人。
任谁都会希望自己的国家的人获奖，尤其颁发的是自己国家的奖项。
欧洲国家的媒体也对此作出了报道，还是有不少报道质疑评选的公正性，但他们也不否认利斯科夫的贡献。
国内就更是如此了。
赵奕没有获得图灵奖，实在是很意外的事情，国内的人可不管什么芭芭拉-利斯科夫，觉得赵奕没获奖，就肯定是不公平，因为赵奕的‘筛
…。。