My research interests include
- Semantics of Programming Languages
- Lambda Calculus, Types, Proofs and Categorical Logic
- Game Semantics for Proofs and Computation
- Computability and Complexity Theory
- Verification of Security Protocols
I am from Germany and took my first degree (Dipl. Math.) in Mathematics and the final examination for a teacher (1. Staatsex.) in Mathematics and Physics at Freiburg i. Br., Germany. I switched to Computer Science and did my doctorate (Dr. rer. nat.) at Siegen, Germany in 1996.
I came to Oxford in 1997 for an EPSRC funded research project on Game Semantics, and I am now appointed to a Departmental Lecturer at the Computing Laboratory. I also hold Lectureships for Computation at Brasenose College and Lincoln College.
