![Logo ensta image par défaut](/profiles/createur_profil/themes/createur/dist/images/visuel-defaut-actualite.png.pagespeed.ce.zFVgtoLc9L.png)
François Pessaux
Unité d'Informatique et d'Ingénierie des Systèmes (U2IS)
Enseignant-chercheur
Activités de recherche et de formation
Compilation, méthodes formelles, preuves, systèmes hybrides.
Compilation, méthodes formelles, preuves, systèmes hybrides.