I have a PhD in computer science. Currently, I am a Research Associate in the Circuits and Systems group at Imperial College, in collaboration with George A. Constantinides and Alastair Donaldson (Department of Computing).

Previously, I was a Postdoc in the MAC team (LAAS-CNRS) under the supervision of Didier Henrion and Jean-Bernard Lasserre. This work was supported by the Simone and Cino del Duca foundation of the Institut de France.

Previously, I was a PhD student (October 2010 - December 2013) under the supervision of Benjamin Werner and St├ęphane Gaubert. My official affiliation was at INRIA with the Maxplus research Team. My PhD was supported by the european grant ForMath (Formalisation of Mathematics).

My research is devoted to applications of certified optimization (e.g. semidefinite optimization) to real algebraic geometry, control systems, program verification, numerical error analysis and automated theorem proving.
Especially, my PhD focused on formal proofs for global optimization problems. One of the main purposes was to certify numerical inequalities used in the proof of the Kepler Conjecture by Thomas Hales (Flyspeck Project).


+44(0)207 59 46336

Circuits and Systems Group, Room 905
Dept of Electrical and Electronic Eng. Blg 16
Imperial College London, South Kensington Campus, London SW7 2AZ

Here is my CV in French.