He got his engineering diploma from ENSIMAG in 2004, a PhD in Computer Science from CEA Saclay in 2008, and he joined the Department of Computer Science of CentraleSupélec right after. His research focus on the design and verification of embedded systems. He is the author of TemporalOCL, that is a temporal extension of OCL to formalize and then verify dynamic properties of object-oriented systems.