I am a professor at the Computer Science Department of CentraleSupélec and at Laboratoire Méthodes Formelles (Formal Methods Laboratory). I teach the fundamental notions of computer science to first year students. I teach the hardware roots of computing, model driven engineering, and formal semantics of languages and models to third year students majoring in Computer Science.
I am also in charge of the "Software Science" major in the third year of the CentraleSupélec engineer curriculum.
My research domain is the modeling and verification of the behavior of heterogeneous systems, for which several modeling methods are used jointly.
We developed the ModHelX platform for executing heterogeneous models. This platform relies on the TESL model of time for the semantic adaptation between heterogeneous models.
![](/boulanger/downloads/Main/gemoc-logo-member.png)
This work belongs to the broader issue of the globalization of modeling languages, as defined by the Gemoc initiative.