Associate Professor

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

Selected publications