Hi.

I’m Erlend. I currently work at Tana. I have previously worked at Blank, Soundrop, Comoyo and ARM and done a research internship at Galois.

I like to use Haskell, Idris and various other technologies. See my projects page for an overview.