Computing points in connected components defined by a real inequation: algorithms, complexity and implementations, Part I
May 2026
I am a PhD student in the PolSys team of the LIP6 lab, at Sorbonne Université, under the supervision of Jérémy Berthomieu and Mohab Safey El Din. My research is about designing efficient algorithms to solve systems of polynomial constraints over the real numbers. As of now, my work focuses on the computation of points per connected components of such solution sets.
SLMath Summer School: New perspectives on discriminants and their applications