I am a postdoctoral researcher at Sorbonne Université (IMJ-PRG) and Inria Paris (Ouragan team). My research is in symbolic computation, computational geometry and optimization. I study randomized algorithms in real algebraic geometry, focusing on probability and bit complexity, particularly for critical-point methods used to extract connectivity information from real algebraic sets with applications to robot motion planning. I have also worked on isogeny-based and post-quantum cryptography. More recently, I have been studying connections with game theory and semidefinite programming.
