L’excellence passionnément
I am a Professor of Systems and Software Engineering at ISAE-SUPAERO since October 2021. Before that I was an Associate Professor at the University of Toulouse - Institut de Recherche en Informatique de Toulouse (IRIT).
My research domains are Model-Based Systems Engineering (MBSE), Cyber-physical systems design and analysis, Model-based verification and validation (V&V).
My background is in semantic models for real-time systems (e.g., timed automata) and automatic verification methods such as model-checking. I was involved in a host of projects trying to apply such methods to widely used industry standard languages such as UML, SysML and SDL.
Most recently I was involved in the development of the model-checker integrated in ESA’s TASTE tool-chain. On a different topic, I worked on the verification and qualification of software items based on machine-learning for Airbus (CIFRE PhD of Eric Guillaume VIDOT).
This page is still under construction. Some more information is still available on my older page at IRIT