Skip to main content

Hanno Nickau

Dr Hanno Nickau

Departmental Lecturer


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 Department of Computer Science. I also hold Lectureships for Computation at Brasenose College and Lincoln College.