Le 23 juin 2008, le CNRS et l’Académie des Technologies ont remis le prestigieux "Turing Award", la plus haute distinction en informatique considérée comme l’équivalent du prix Nobel de ce domaine. Joseph Sifaki est le premier chercheur français à recevoir cette distinction, qui porte le nom du mathématicien anglais Alan Turing, père fondateur de l’informatique.
L’ACM a remis le Turing Award 2007 à Joseph Sifakis et à deux chercheurs américains, Edmund Clarke de Carnegie Mellon University et Allen Emerson de l’University of Texas à Austin, 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. Les bases théoriques ont été déposées en 1981 par ces trois chercheurs. Aujourd’hui, le Model-Checking est une technologie très largement utilisée dans les industries du logiciel et du matériel.
Directeur de recherche au CNRS, au sein du Laboratoire VERIMAG (CNRS/Université Grenoble 1/Groupe Grenoble INP), un laboratoire dont il est le fondateur, 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 théoriques et pratiques de la modélisation et de la vérification des systèmes temps réel. Il est aussi coordinateur scientifique du réseau européen "ARTIST2 Embedded Systems Design" qui regroupe 35 équipes européennes.
The third International IEEE Conference on RFID , Les 27 et 28 Avril 2009, à Orlando, Floride ... [suite]
IEEE WCNC, Du 5 au 9 Avril 2009, à Budapest, Hongrie, Wireless Communications (...) ... [suite]
