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.
Nos chercheuses et chercheurs