About me

Lecturer and researcher of computer science at INSA de Lyon, France. I’m a research member of the CITI laboratory at the Dynamid team.
My research interests include software and model verification, middlewares for pervasive computing, software architecture, and distributed systems, with a focus on the Internet of Things (IoT).
I have a PhD in computer science from the Université de Franche-Comté. My thesis, developped at Femto-ST laboratory in Besançon, France, was about the verification of SysML specifications of component-based systems.