Arbeids- og kompetanseområde

I'm working in between maths and CS: type-system formal verification for numerical methods. Specifically,

  • More solid theoretical foundations for physics simulations (fluid dynamics codes)
  • Approaches for reliability in machine learning
  • Efficient, smart data structures for representing smooth functions

Apart from that, I'm generally interested in functional programming, physics and music.