I am employed as Assistant Teaching Professor at the IT University of Copenhagen in the
Programming, Logic and Semantics (PLS) research group.
If you are interested in my misconceptions about the world, I have
a personal blog.
Research
General: I am interested in almost all
aspects of theoretical computer science. My own work is mostly about language
design and formal methods. I am fascinated by functional programming
languages such as: Standard ML, Haskell, Objective Caml, and Scheme.