モデル検査の研究者3名にチューリング賞

だそうです。

一応補足すると、「モデル検査」というのは、いわゆる形式的手法（ソフトウェアやハードウェアのモデルを、数学的というか論理学的に検証するアプローチ）の一つです。計算機科学にはノーベル賞がないので、「チューリング賞」がノーベル賞的扱いを受けています。