Considéré comme une sorte de Nobel de l'informatique, le prix Turing 2007 décerné par l'ACM (Association for Computing Machinery), avec le soutien de sponsors comme Intel et Google, a été attribué au Français Joseph Sifakis ainsi qu'aux Américains Edmund Clarke et Allen Emerson pour leurs contributions au « model checking ».

Cette méthode de vérification automatique des systèmes en temps réel permet de contrôler algorithmiquement si un système informatique répond aux exigences de stabilité et de sécurité. Cette technique sur laquelle Sifakis, directeur de recherche au laboratoire grenoblois Verimag du CNRS, a commencé à travailler dans les années 1980, peut être utilisée pour le contrôle des puces de communication, les pilotes de périphériques ou encore les systèmes critiques embarqués dans les avions ou les trains.

Les lauréats du prix Turing se partageront une prime de 250.000 dollars