School of Electronic Engineering and Computer Science

people menu

Dr Nikos Tzevelekos

Senior Lecturer

Research Interests

I am a Senior 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. Moreover, 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

Return to top