Skip to main content

Our researchers

Alexandre Chapoutot

Unité d'Informatique et d'Ingénierie des Systèmes (U2IS)
Enseignant-chercheur

Je suis enseignant-chercheur en informatique à l'ENSTA Paris dans l'Unité d'Informatique et d'Ingénierie des Systèmes (U2IS). Mes thèmes de recherche concernent la vérification des systèmes cyber-physiques avec un intérêt prononcé pour l'analyse par intervalles et la robotique mobile. Par le passé je me suis intéressé à l'analyse statique de programmes par interprétation abstraite pour l'étude et l'amélioration de la précision des calculs en arithmétique flottante.

Research and education activities

  • Responsable de la spécialisation de 2ème année du cycle ingénieur en Informatique 

 

HAL Publications

Subscribe to our newsletter