Bienvenue

Since 09/2018, I am on leave in the MAC team from LAAS-CNRS.

Since 07/2018, I am affiliated to L2S (Signals and Systems), located in Centrale-Supelec, Paris-Saclay.

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

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.

Contact

firstname.lastname followed by "at" l2s followed by "dot" centralesupelec followed by "dot" fr

+33 (0)

LAAS - CNRS
Équipe MAC
7 avenue du Colonel Roche
F-31031 Toulouse, France
Office
Here is my CV in French and in English.