PhD student in the Programming, Logic and Semantics group at the IT University of Copenhagen.

My primary areas of interest are in concurrency theory and programming language semantics. I've previously worked as a commercial programmer, so I know a little bit about that world too.