Étienne ANDRÉ

Statut

Professeur des universités

Promotion

Junior 2024

Établissement

Université Sorbonne Paris Nord

Secteur disciplinaire

Sciences et Technologies de l'Information et de la Communication

Chaire

Chaire Fondamentale

Spécialité

Informatique

Thématique

► Vérification
► Model checking
► Systèmes cyber-physiques

Présentation

Étienne André s'intéresse à la spécification et à la vérification formelles, à savoir la formalisation mathématique d'un système réparti par un modèle, et la vérification d'un tel modèle à l'aide de techniques automatisées.

Les systèmes cyber-physiques sont aujourd'hui omniprésents (métros automatiques, smartphones, appareils médicaux…). Ces systèmes doivent éviter toute erreur imprévue (bug) à même de menacer des vies, tout en étant aussi économes en énergie que possible, notamment pour les appareils embarqués (satellites, pacemakers…). L'objectif de ce projet est de définir des techniques efficaces automatisées pour garantir formellement la correction de systèmes autonomes à contraintes d'énergie en présence d'incertitude, ou de repérer leurs dysfonctionnements à l'exécution.