Talks
Invited talks and Presentations:
| January 2018 | RTE Paris, Chanc-Constrained Optimization for Non-Linear Network Flow Problems |
| October 2017 | IMT Bordeaux, Bounded sums of squares for large scale polynomial optimization with structured sparsity |
| September 2017 | University of Paderborn, Solving nearly-sparse polynomial optimization problems |
| June 2017 | LANL, Los Alamos, The Generalized Moment Problem and some applications |
| October 2016 |
TU Prag, Sparse Hierarchies for Large Scale Polynomial Optimization |
| May 2016 |
LAAS Toulouse, NLverify: Non Linear Verification, a Coq Tactic |
| February 2016 |
Inria Saclay, NLverify: Non Linear Verification, a Coq Tactic |
| October 2014 |
CWI Amsterdam, Certificates for nonnegativity |