Joseph SifakisDirecteur de recherche CNRS émérite au VERIMAG

Directeur de recherche émérite au CNRS, qu’il a rejoint en 1985, Joseph Sifakis a dirigé, depuis sa création et pendant 13 ans, le laboratoire Verimag (CNRS/Université Grenoble Alpes). Il fait partie des pionniers qui ont perçu, il y a plus de 25 ans, l'importance qu'allait prendre le logiciel. Toute sa carrière a été guidée par la problématique de la production de logiciels sûrs. Il est l’un des fondateurs d'une théorie de la vérification des systèmes de transitions, théorie à l'origine d'un très grand nombre de travaux de recherche et d'applications. Il s'agit sommairement d'exprimer les propriétés des systèmes par des relations d'atteignabilité entre ensemble d'états. Ces relations se caractérisent ensuite comme points fixes d'opérateurs monotones.

Joseph Sifakis s’intéresse également à la modélisation et la vérification des systèmes temps-réel. En 2007, Joseph Sifakis obtient le Prix Turing pour sa contribution à la théorie et l’application du model-checking, la technique de vérification de systèmes informatiques la plus largement utilisée actuellement.

Il manifeste tout au long de sa carrière un souci constant de transfert et de valorisation et assume un rôle prépondérant dans l'animation de la communauté tant au niveau national qu'international, en étant par exemple à l'origine de la création de la plus grande conférence internationale du domaine. Il s’investira également comme professeur à l’École Polytechnique Fédérale de Lausanne de 2011 à 2016. Il est l’un des pionniers européens du domaine des systèmes embarqués en tant que coordinateur scientifique des Réseaux d’Excellence européens « ARTIST » pendant 10 ans. Il participe à de nombreux projets industriels d’envergure en partenariat avec Airbus, EADS, France Telecom, Astrium, et STMicroelectronics. 

Aujourd’hui, les activités de recherche de Joseph Sifakis portent actuellement sur des aspects fondamentaux et appliqués de la conception des systèmes autonomes, et plus particulièrement des voitures autonomes.