I'm a Postdoctoral researcher in Computer Science at IRISA-Rennes. My advisor is Arnaud Gotlieb. Currently, I'm a teaching assistant at INSA-Rennes (a French engineering school).

My research interests include:

  • Software Testing
  • Constraint Programming
  • Floating-point arithmetic
  • Formal Method, Proof Assistant and Automatic Proof. The FoCal project in particular