PhD
Certification numérique pour les courbes algébriques avec singularités
PhD
Analyse Topologique Distribuée
PhD
Simulations haute performance et précises de la toile cosmique de l’Univers
PhD
Attaquer la "large échelle" : calcul haute performance pour l'intelligence computationnelle.
PhD
Modélisation par équations intégrales et apprentissage
Prof., Head
Differential Algebra, modelling
CR CNRS
Validated numerics
Prof.
HPC
MdC, co-Head
Differential Algebra, modelling
Prof.
HPC
MdC
Computer Algebra, plane curves
MdC
MdC
Real algebraic geometry