$whoami

I am currently a researcher at Inria (Rennes, France), in the Hycomes group.
I am broadly interested in dynamical systems: defining concepts of solutions, proving their existence, approximating their orbits… the tools I have been using so far include

• Symbolic and certified numerical computations
• Combinatorial optimization
• Convex analysis

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