
François Pessaux
Unité d'Informatique et d'Ingénierie des Systèmes (U2IS)
Enseignant-chercheur
Research and education activities
Compilation, méthodes formelles, preuves, systèmes hybrides.
Compilation, méthodes formelles, preuves, systèmes hybrides.