$whoami

I am currently a researcher at Inria (Rennes, France), in the Hycomes group.
My research focuses on advancing and promoting the use of formal methods to design and analyze industrial-scale complex systems. This includes:

• Algebraic methods for generating invariant sets
• Certified numerical computations
• Quantifier elimination in finite and real closed fields
• Combinatorial optimization

I was previously a postdoc at Carnegie Mellon University (Pittsburgh, PA, USA), School of Computer Science, Logical Systems Lab and before that at NEC Labs America, System Analysis and Verification Group (Princeton, NJ, USA).