Joseph SifakisDirecteur de recherche CNRS émérite au VERIMAG

Directeur de recherche au CNRS depuis 1985, il dirige, depuis sacréation en 1993, le laboratoire Verimag à Grenoble (CNRS-Université Joseph Fourier-INPG) qui développe des formalismes de modélisation et des outils de validation de systèmescritiques. Joseph Sifakis fait partie de ces quelques pionniers qui ont su comprendre, il y a plus de 25 ans, l'importance qu'allait prendre le logiciel. Toute sa carrière a ainsi é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 detravaux de recherche et d'applications. Schématiquement, il s'agit sommairement d'exprimerles 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. Les travaux les plus récents de Joseph Sifakis portent sur la modélisation et la vérification des systèmes temps-réel. Il a également manifesté tout au long de sa carrière un souci constant de transfert et de valorisation et joué 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 plusgrande conférence internationale du domaine.