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.
- 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).