Since 01/2019, I am affiliated to CNRS LAAS (Laboratoire d'Architecture et Analyse des Systèmes), in the MAC team, located in Toulouse. I am also associated researcher to IMT since 05/2020.

My research is devoted to applications of certified optimization (e.g. semidefinite optimization) to real algebraic geometry, quantum and control systems, deep learning, 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/Postdoc positions available

For more details, go there.

Reading Group on Optimization and Control

Go there.

About my former life

In 2018, I did a long-term visit in the joint INRIA-CNRS-Sorbonne Université PolSys team at LIP6 in Paris Jussieu.

From 2015 to 2018, I was a CNRS Junior Researcher affiliated to the Tempo team at Verimag in Grenoble.

In 2014-2015, 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).

In 2014, 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 (2010 - 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 (2008 - 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.


firstname.lastname followed by "at" laas followed by "dot" fr

Équipe MAC
7 avenue du Colonel Roche
F-31031 Toulouse, France
Office E48
+33(0)5 61 33 64 81
Here is my CV in English.