Campus de Beaulieu,
263 Avenue General Leclerc,
Phone: +33 2 99 84 75 38
I am currently a researcher at INRIA. I was previously a postdoc at Carnegie Mellon University, School of Computer Science and before that at NEC Labs, System Analysis and Verification Group, Princeton, New Jersey, USA. I was a Ph.D. in computer science at École Polytechnique (France), under the direction of Éric Goubault and Sylvie Putot.
My research focuses on advancing and promoting the use of formal methods to design and analyze industrial-scale complex systems. My work is interdisciplinary, at the intersection of computer science, mathematics and software and control engineering.