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.

Émissions concernant Joseph SIFAKIS