Hi.

I’m Erlend. I currently work at Blank. I have previously worked at 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.