Le prix Turing 2007 a été décerné à Joseph Sifakis, premier Français à obtenir ce prix depuis sa création en 1966, pour l’invention de la technique de "model checking". Le prix Turing est considéré comme le prix Nobel de l’informatique.

Joseph Sifakis est directeur de recherche au CNRS, au sein du laboratoire Verimag (CNRS, Institut National Polytechnique de Grenoble, Université Joseph Fourier).

Le laboratoire VERIMAG, auquel appartient Joseph SIFAKIS, contribue très activement à la dynamique du pôle de compétitivité mondial Minalogic (Les puces miniaturisées intelligentes), situé à Grenoble, et en particulier aux travaux de recherche et de développement menés par les acteurs du pôle dans le domaine du logiciel enfoui sur les puces.

Christine Lagarde, ministre de l’Economie, des finances et de l’emploi, et Hervé Novelli, secrétaire d’Etat chargé des Entreprises et du commerce extérieur, ont salué cette distinction.