Joseph SIFAKIS
Membre de l'Académie des sciences
Élu membre le 15 mars 2011
Section : Sciences mécaniques et informatiques 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.
