Joseph Sifakis

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 CV

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



Imprimer