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