Nikos Tzevelekos

Nikos Tzevelekos is a Senior Lecturer in the School of Electronic Engineering and Computer Science at Queen Mary University of London (QMUL), and a member of the Theory Group and Centre for Fundamental Computer Science. His research focuses on theoretical computer science, particularly the mathematical foundations of computation. He develops formal models of programming languages using game semantics and category theory, with applications to program analysis and verification. Tzevelekos holds a PhD from the University of Oxford and previously served as a postdoctoral researcher there within the Quantum Group.

His research interests include program equivalence, automata theory over infinite alphabets, and formal verification techniques. He has organized workshops such as the Workshop on Program Equivalence (2016) and contributed to conferences like LICS, POPL, and FOSSACS. Tzevelekos has received funding, including a £44,502 grant from Innovate UK for the Mokapot/Millr project on cloud computing infrastructure.

He teaches computer science courses at QMUL and maintains an active presence in the academic community, participating in events like LICS 2025 and POPL 2024. His work bridges foundational theory with practical tools for software analysis, emphasizing the mathematical rigor of computational systems.