Joseph Sifakis

Joseph Sifakis est directeur de recherche au CNRS. 

Joseph Sifakis a consacré ses recherches à la modélisation et la formalisation des systèmes informatiques et de leurs propriétés, en vue d'aider leur conception et leur vérification.