I’m a PhD student in the Department of Computer Science and Engineering at Chalmers University in Gothenburg, Sweden. My interests are functional programming and formal verification.

Useful links