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.