|I am a Senior Lecturer at the School of Electronic Engineering and Computer Science at Queen Mary University of London, and member of the Theory Group. Previously, I was a postdoctoral researcher at the Department of Computer Science at the University of Oxford, and member of the Quantum Group, where I also completed my PhD thesis.
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.
- ESSLLI 2017, Highlights
- FOSSACS 2016, Program Equivalence, Automata, Logic and Games @IMS, Compositionality @Simons
ESSLLI 2015, LOLA 2015,
ETAPS 2015, Semantics and Verification of Object-Oriented Languages @Shonan
- GALOP VIII, LOLA 2013, Wessex 17, GALOP 2011, Oxford LINT.
Queen Mary Theory seminars
Joint-theory-seminars mailing list (subscribe for seminar announcements in the London area!)
I can be reached at:
- nikos.tzevelekos at qmul.ac.uk
School of Elec. Engineering and Computer Science
Queen Mary University of London
Office: CS 434
tel.: +44 (0)20 7882 6974
Mile End Road
London E1 4NS, UK