معرفی
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.
