Hanno Nickau

Hanno Nickau serves as a Lecturer in the Department of Computer Science at the University of Oxford, a position he has held continuously since 2000 after joining Oxford in 1997 for an EPSRC-funded research project on Game Semantics.

His academic foundation includes a Diplom in Mathematics and the first state examination for teachers (1. Staatsexamen) in Mathematics and Physics from the University of Freiburg im Breisgau, Germany, followed by a doctorate (Dr. rer. nat.) from the University of Siegen in 1996 under Prof. Dr. Dieter Spreen.

Nickau's research explores foundational aspects of computation through multiple interconnected lenses:

• 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

His current work focuses on quantum programming languages within Oxford's Department of Computer Science, building on decades of theoretical contributions to formal methods and computational logic.