Le lundi 23 juin 2008, le CNRS et l'Académie des Technologies organisent une cérémonie en l'honneur du premier chercheur français à recevoir le prestigieux "Turing Award", autrement dit la plus haute distinction en Informatique, considéré comme l'équivalent du prix Nobel de ce domaine qui n'existait pas encore quand Alfred Nobel décida de créer les fameux prix qui portent son nom. Chaque année depuis 1966, l'Association for Computing Machinery (ACM) décerne ainsi ce Turing Award, du nom du mathématicien anglais Alan Turing, père fondateur de l'informatique. Cette récompense prestigieuse distingue des chercheurs pour l'impact technique majeur et durable de leurs recherches dans cette discipline.
C'est donc tout naturellement que l'ACM a décidé en février dernier de décerner le Turing Award 2007 au chercheur français Joseph Sifakis et à deux chercheurs américains, Edmund Clarke de Carnegie Mellon University et Allen Emerson de l'University of Texas à Austin. Ces trois chercheurs sont récompensés pour avoir mis au point le "Model Checking", une méthode algorithmique qui permet de vérifier qu'un système logiciel ou matériel satisfait à des exigences données, par exemple de sécurité ou de sûreté. Rappelons que ses bases théoriques ont été déposées dès 1981, indépendamment par ces trois chercheurs dans leur pays respectif. Aujourd'hui, le Model-Checking est une technologie performante et fiable, très largement utilisée dans les industries du logiciel et du matériel. Précisons que l'impact de cette technologie devrait être encore plus significatif au cours des prochaines années, notamment en ce qui concerne la vérification des processeurs et des systèmes critiques embarqués.
Directeur de recherche de classe exceptionnelle au CNRS, au sein du Laboratoire VERIMAG (CNRS/Université Grenoble 1/Groupe Grenoble INP), un laboratoire, réputé mondialement dans le domaine des systèmes embarqués critiques, dont il est le fondateur, qui plus est médaillé d'argent du CNRS en 2001, Joseph Sifakis, ingénieur électricien de l'Ecole Polytechnique d'Athènes et docteur d'Etat en informatique de l'Université de Grenoble, est reconnu pour ses travaux innovants, sur des aspects aussi bien théoriques que pratiques de la modélisation et de la vérification des systèmes temps réel. Ayant toujours travaillé activement pour le transfert des résultats de la recherche vers des partenaires industriels, il est notamment le coordinateur scientifique du réseau d'excellence européen "ARTIST2 EmbeddedSystems Design" qui regroupe 35 équipes européennes.
