$whoami

I am currently a researcher at Inria (Rennes, France), in the Hycomes team.
I am broadly interested in effective algebraic geometry at the intersection of differential and compter algebra. This includes for instance defining concepts of solutions for differential equations, proving their existence, approximating their orbits, etc.

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). I did my PhD at Ecole Polytechnique (Palaiseau, France) under the supervision of Sylvie Putot and Eric Goubault. Both my PhD and postdocs evolved around the formal verification of dynamical and hybrid systems combining interactive theorem provers and abstract interpretation.