Skip to main content

Our researchers

Logo ensta image par défaut

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.

HAL Publications

Subscribe to our newsletter