Professor II
Olivier Verdier
Field of work
My main interests are:- Bayesian Statistics and Machine Learning
- Functional programming, certified programming and type theory (Haskell, Coq)
- Scientific Computing, Geometric Integration
- Mathematics
Publications
-
Statistical Model and ML-EM Algorithm for Emission Tomography with Known Movement
-
What makes nonholonomic integrators work?
-
Invariant connections, Lie algebra actions, and foundations of numerical integration on manifolds
-
The ML-EM algorithm in continuum: sparse measure solutions
-
Currents and finite elements as tools for shape space
Show all