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
Research areas
  • Mathematics
Research groups

Publications