I am currently a software engineer at Mindbreeze in Linz, Austria.

Before that, I was a post-doctoral researcher at the Institute for Algebra at the Johannes Kepler University (Linz, Austria), and the principal investigator of the FWF project P34872 on algorithms for solving certain systems of structured polynomial equations.

The focus of my research was in effective mathematics, in particular in algebra and geometry. More precisely, I like to describe and develop algorithms to help handle complicated mathematical objects arising in applications.

In this framework, I have been working on algorithms for solving polynomial systems, and in particular on the regularity of the computation of Gröbner bases in different contexts: weighted homogeneous systems which arise for example in cryptography, a classification problem in real algebraic geometry which arose from an optimal control problem, polynomial systems over rings which appear for example in number theory, and systems described by convergent power series from \(p\)-adic geometry.

I studied Mathematics and Computer Science at the École Normale Supérieure in Paris, and I obtained my Masters in Mathematics at the University Paris 11 (Orsay) in 2012. I prepared my PhD thesis in the PolSys team, in the LIP6 (Sorbonne Universités, Paris, France), under the supervision of Jean-Charles Faugère and Mohab Safey El Din. I then spent one year as a post-doc at IRIT (ENSEEIHT, Toulouse, France), working with Joseph Gergaud and Olivier Cots on algebraic techniques for optimal control. I moved to Linz in 2017, and I worked for 4 years with Manuel Kauers on algorithmic combinatorics and computer algebra, in particular algorithmic questions related to D-finite functions and equations.

• Universal analytic Gröbner bases and tropical geometry
  

  International Symposium on Symbolic and Algebraic Computation 2023
  Tromsø, Norway, 2023/07/27
  LinksLinksLiens: slides
• Using signature Gröbner bases to find short ideal representations
  

  SIAM Conference on Applied Algebraic Geometry
  TU Eindhoven, Eindhoven, The Netherlands, 2023/07/14
  LinksLinksLiens: slides
• Signature Gröbner bases in the free algebra
  

  Journées Nationales de Calcul Formel (JNCF 2022)
  CIRM, Luminy (France), 2022/03/03
  LinksLinksLiens: abstract, slides
• Two signature-based variants of Buchberger’s algorithm for Gröbner bases over principal ideal domains
  

  "Calcul formel" team seminar
  XLIM, Université de Limoges, France (online), 2021/03/30
  LinksLinksLiens: slides
• Working with valuations
  

  "Calcul formel" team seminar
  XLIM, Université de Limoges, France, 2020/02/27
  LinksLinksLiens: slides
• Software tutorial: Computing elimination polynomials using interpolation
  

  SFB Statusseminar
  Strobl, Austria, 2018/12/04
  LinksLinksLiens: org worksheet (can be opened as a plain-text file), html
• Algebraic classification methods for an optimal control problem in medical imagery
  

  Seminar Algebra and Discrete Mathematics
  Johannes Kepler University, Linz, Austria, 2017/12/07
  LinksLinksLiens: slides
• Régularité du calcul de bases de Gröbner pour les systèmes homogènes avec poids
  

  Séminaire Géométrie et algèbre effectives
  IRMAR, Université Rennes 1, Rennes, France, 2017/06/02
  LinksLinksLiens: abstract (in French), slides