Currently, I am a CNRS Junior Researcher in the Tempo team at Verimag in Grenoble.

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

Masters/PhD positions available

For more details, go there.

Reading Group on Optimization and Control

Go there.

About my former life

Previously, I was 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 in computer science (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).

Previously, I was a Master student in computer science (October 2008 - September 2010) under the supervision of Shinobu Yoshimura and Shin-ichiro Sugimoto in the Systems Innovation Dept of the University of Tokyo. My Master was supported by the Monbukagakusho (Japanese Government Fellowship). I contributed to the Adventure Project by performing time dependent magnetic structural coupled analysis of MRI Model with hierarchical domain decomposition methods.


+33 (0)1 44 27 87 59

LIP6 - Équipe projet INRIA/UPMC POLSYS
Boite courier 169
4 place Jussieu
F-75252 Paris cedex 5, France
Office : 26-00 323
Here is my CV in French and in English.