Prof., Head
Differential Algebra, modelling
CR CNRS
Validated numerics
Prof.
HPC
MdC, co-Head
MdC
Computer Algebra, plane curves
Real algebraic geometry