About me

Associate professor of computer sciences and networking at CPE Lyon, France. I’m a research member of the CITI laboratory at INSA Lyon and my research team is Dynamid.
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.