Dr Nikos Tzevelekos
I am a Royal Academy of Engineering Research Fellow and Lecturer in Computer Science. My focus is on Theoretical Computer Science and in particular I study the mathematical meaning of computation.
I devise mathematical models of programming languages, expressed in
game semantics at the concrete level and in category theory at the abstract level.
I examine applications of these models to program analysis in order to develop methods and tools
for formally analysing and checking software.
- Program analysis
- Game semantics
- Denotational semantics
- Automata over infinite alphabets