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.
En savoir plus
- L’Évolution de l’Informatique - Perspectives et Défis, discours de Joseph Sifakis lors de la cérémonie de réception des nouveaux membres de l'Académie des sciences le 21/06/2011
- Joseph Sifakis, chercheur au CNRS, reçoit le Prix Turing 2007, communiqué de presse du 04/02/2008