Joseph Sifakis
É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.
Voir le site Internet
-
Coordonnées
Laboratoire VERIMAG
Centre Equation
2 avenue de Vignate
38610 Gières
-
Discours
L'évolution de l'informatique - Perspectives et défis, discours sous la coupole le 21 juin 2011