RESEARCH


    — Computer algebra —
  1. Polynomial systems solving
  2. Gröbner bases, computation of syzygies, free resolutions
  3. Exact algorithms in real algebraic geometry
    — Applications —
  1. Semidefinite programming
  2. Polynomial optimization
  3. Quantum information


For a complete list of publications, see this page


Grants
  1. ANR-JCJC Project  «Hyperbolic Polynomials: Algorithms, Complexity, Implementations»  (Principal Investigator, 2022-2025) — web page
  2. PGMO Project  «Hyperbolic Programming : Algorithms and Implementations»  (Principal Investigator, 2018-2020) — web page
  3. ANR Project  «GEOLMI — Geometry of Linear Matrix Inequalities»  (associate member, 2012-2015) — web page


Collaborators
  1. François Arnault — Université de Limoges, France
  2. Moulay Barkatou — Université de Limoges, France
  3. Francesco Ferrante — Université Grenoble Alpes, France
  4. Didier Henrion — CNRS LAAS (Toulouse, France), Czech Technical University in Prague (Czech Republic)
  5. Milan Korda — CNRS LAAS, Toulouse, France
  6. Mario Kummer — Technische Universität Dresden, Germany
  7. Jean-Bernard Lasserre — CNRS LAAS, Toulouse, France
  8. Victor Magron — CNRS LAAS, Toulouse, France
  9. Vincent Neiger — Sorbonne Université, Paris, France
  10. Daniel Plaumann — Technische Universität Dortmund, Germany
  11. Mohab Safey El Din — Sorbonne Université, Paris, France
  12. Rainer Sinn — Universität Leipzig, Germany