RESEARCH
— Computer algebra —
-
Polynomial systems solving
-
Gröbner bases, computation of syzygies, free resolutions
-
Exact algorithms in real algebraic geometry
— Applications —
-
Semidefinite programming
-
Polynomial optimization
-
Quantum information
For a complete list of publications, see this page
Grants
-
ANR-JCJC Project «Hyperbolic Polynomials: Algorithms, Complexity, Implementations» (Principal Investigator, 2022-2025) — web page
-
PGMO Project «Hyperbolic Programming : Algorithms and Implementations» (Principal Investigator, 2018-2020) — web page
-
ANR Project «GEOLMI — Geometry of Linear Matrix Inequalities» (associate member, 2012-2015) — web page
Collaborators
-
François Arnault — Université de Limoges, France
-
Moulay Barkatou — Université de Limoges, France
-
Francesco Ferrante — Université Grenoble Alpes, France
-
Didier Henrion — CNRS LAAS (Toulouse, France), Czech Technical University in Prague (Czech Republic)
-
Milan Korda — CNRS LAAS, Toulouse, France
-
Mario Kummer — Technische Universität Dresden, Germany
-
Jean-Bernard Lasserre — CNRS LAAS, Toulouse, France
-
Victor Magron — CNRS LAAS, Toulouse, France
-
Vincent Neiger — Sorbonne Université, Paris, France
-
Daniel Plaumann — Technische Universität Dortmund, Germany
-
Mohab Safey El Din — Sorbonne Université, Paris, France
-
Rainer Sinn — Universität Leipzig, Germany
|