Bienvenue

In 06/2022, I created, with the help of four other CNRS researchers, a new team in LAAS focusing on polynomial and moment optimization, called POP.

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.

We wrote a book together with Jie Wang, entitled Sparse polynomial optimization: theory and practice, available in Series on Optimization and Its Applications, World Scientific Press.

My research is devoted to applications of certified optimization (e.g. semidefinite optimization), especially polynomial optimization to quantum and control systems, deep learning, energy networks, program verification 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.

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" laas followed by "dot" fr



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