Mathematics, Information Security

Computer Algebra

The computer algebra team develops new computational methods with the goal of obtaining exact symbolic representations, as well as certified qualitative and quantitative information on solutions of differential, polynomial and functional equations.

Cryptis

Modeling Optimization Dynamics

Smooth and non-smooth numerical optimization, Variational and non-smooth analysis, Non-regular dynamical systems, PDE, Optimal mass transport.

Number Theory

Local algebraic theory, Global algebraic theory and K-theory, Archimedean analytic theory, Ultrametric analytic theory.