From 2005 until 2011 I worked as a researcher (wissenschaftlicher Mitarbeiter) at the Programming Systems Lab at Saarland University in Saarbrücken.
My research interests are in logic and semantics, and their application to reasoning about (higher-order, typed) programming languages. In my work I use operational methods as well as order-theoretic and metric approaches to describe the behaviour of programs, and I'm particularly interested in the interplay between these methods. I'm also interested in the formalization of programming language meta-theory in logic and type theory.