Hanno Nickau

Dr Hanno Nickau

Departmental Lecturer

Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

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

Biography

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.