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.

Activités de recherche et de formation

  • Responsable du parcours de spécialisation de 3ème année du cycle ingénieur en Intelligence Artificielle 
  • Co-responsable du mastère spécialisé en Intelligence Artificielle co-accrédité avec Télécom Paris

 

HAL Publications

Subscribe to our newsletter