Joseph Sifakis obtient le prix Turing pour ses travaux sur le « model checking »

 Joseph Sifakis, directeur de recherche au CNRS et fondateur du laboratoire VERIMAG à Grenoble a déjà été médaillé d'argent du CNRS en 2001.
Joseph Sifakis devient ainsi le premier Français à obtenir ce prix depuis sa création, en 1966. Il est récompensé - ainsi qu'une équipe américaine(2) - pour avoir mis au point le Model Checking, une technologie de vérification des systèmes complexes, performante et fiable, aujourd'hui très largement utilisée dans les industries du logiciel et du matériel.

Le Model Checking est une méthode algorithmique qui permet de vérifier qu’un système logiciel ou matériel satisfait à des exigences données (de sécurité ou de sûreté par exemple). Les bases théoriques du Model Checking ont été posées en 1981, indépendamment par Joseph Sifakis en France, Edmund Clarke et Allen Emerson, travaillant conjointement aux Etats-Unis. 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 portables...) et d’algorithmes de sécurité.

Joseph Sifakis est Ingénieur électricien de l’Ecole Polytechnique d’Athènes et Docteur d’Etat en Informatique de l’Université de Grenoble. Il 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. Joseph Sifakis, qui a activement travaillé pour le transfert des résultats de la recherche vers des partenaires industriels, est le coordinateur scientifique du réseau d’excellence européen « ARTIST2 Embedded Systems Design » qui coordonne la recherche de 35 équipes européennes afin de développer des résultats théoriques et pratiques pour la conception de systèmes embarqués performants et robustes.

Plus d'info : www2.cnrs.fr/presse/communique/1280.htm