Nos chercheuses et chercheurs

Mes recherches portent sur la sûreté des systèmes cyber-physiques, y compris des systèmes pilotés par une intelligence artificielle. En particulier, je m'intéresse à l'application de méthodes formelles, issues de l'analyse de logiciels, aux systèmes dynamiques décrits par une combinaison d'événements discrets et d'équations différentielles, également appelés systèmes hybrides. Mes sujets de recherche incluent :

• la modélisation des systèmes dynamiques et la spécification de leur comportement souhaité,
• la vérification formelle des systèmes dynamiques par le model-checking et l'analyse d'atteignabilité,
• les techniques de vérification semi-formelles telles que le model-checking statistique,
• la surveillance et la supervision des systèmes de contrôle basés sur l'IA,
• l'apprentissage par renforcement vérifiable et sûr.

My research focuses on the safety of cyber-physical systems, including systems driven by artificial intelligence. In particular, I am interested in the application of formal methods, coming from software analysis, to dynamical systems described by a combination of discrete events and differential equations, also referred to as hybrid systems. My research topics include:

• modeling dynamical systems and specifying their desired behavior,
• formally verifying dynamical systems through model-checking and reachability analysis,
• semi-formal verification techniques such as statistical model checking,
• monitoring and supervision of AI-based control systems,
• verifiably safe reinforcement learning.