Joseph Sifakis, directeur de recherche au CNRS, au sein du laboratoire Verimag, vient d'obtenir le prix Turing (du nom du mathématicien anglais Alan Turing) dont le prestige dans le domaine de l'informatique est équivalent à celui du Prix Nobel. C'est le premier Français à obtenir ce prix depuis sa création en 1966. Joseph Sifakis et les deux autres lauréats américains du prix Turing 2008 travaillent dans le domaine du ''model checking'' (contrôle des modèles), une technologie qui aide les ingénieurs logiciel et matériel à dépister les erreurs dans les conceptions de systèmes complexes. Le prix qui leur a été attribué ''en reconnaissance de leur rôle dans l'avènement du ''model checking'' en tant que technologie de vérification hautement efficace, largement adopté dans les industries du matériel et du logiciel'', s'élève à 170000 euros. Leurs travaux ont eu un impact important sur l'industrie du semiconducteur. Le ''model checking'' trouve de nombreuses applications industrielles à la vérification de puces, protocoles de communication, logiciels pilotes de périphériques, systèmes critiques embarqués (par exemple dans les avions, les trains, les fusées, les satellites ou les téléphones mobiles...) et d'algorithmes de sécurité. Joseph Sifakis est particulièrement impliqué depuis de nombreuses années dans des coopérations entre recherche publique et industrie. De 2004 à 2008, il fut le coordinateur scientifique du réseau d'excellence européen Artist2 sur la conception de systèmes intégrés et a occupé le même poste dans le nouveau réseau d'excellence européen ArtistDesign sur la conception de systèmes intégrés. Par ailleurs, le laboratoire Verimag, auquel il appartient, contribue très activement à la dynamique du pôle de compétitivité mondial Minalogic, situé à Grenoble, et en particulier aux travaux de R&D menés par les acteurs du pôle dans le domaine du logiciel enfoui. Cette coopération avec l'industrie s'inscrit aussi dans une démarche européenne, notamment dans le cadre du projet ''Spice'' du cluster Itea, consacré aux intergiciels, et au sein du projet ''Neva'' du cluster Medea+, qui développe une nouvelle approche de la conception des systèmes sur puces pour les applications vidéo.