L’équipe « Calcul Formel » développe de nouvelles méthodes de calcul permettant d’obtenir des représentations symboliques exactes et des informations qualitatives et quantitatives certifiées pour les solutions d’équations différentielles, polynomiales et plus généralement, fonctionnelles.

L'équipe « Modélisation Optimisation Dynamique » recouvre plusieurs thèmes de recherche : optimisation numérique, optimisation non lisse, analyse variationnelle et non lisse, EDP, contrôle optimal et transport optimal de masse. Notre activité de recherche consiste à développer des outils d’analyse et des algorithmes de résolution en vue de les appliquer à l’étude théorique et à la résolution effective de problèmes d’optimisation et variationnels issus des sciences de l’ingénieur.