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.
I can be reached at:
nikos.tzevelekos at qmul.ac.uk
tel.: +44 (0)20 7882 6974
School of Electronic Engineering and Computer Science
Queen Mary University of London, London E1 4NS, UK
POPL 2024 (pc), FOSSACS 2024 (pc)
LICS 2023 (paper)
New Challenges in PL Semantics (organiser), SETTA 2022 (paper), TACAS 2022 (paper), PERR 2022 (pc), PLS 13 (pc)
FOSSACS 2021 (pc), ICFP 2021 (paper)
Dagstuhl seminar on Program Equivalence, Highlights 2018, MOVEP 2018, MFGR 2018
FOSSACS 2016, Program Equivalence, Automata, Logic and Games @IMS, Compositionality @Simons
SR 2015, CONCUR 2015, ESSLLI 2015, LOLA 2015, MFPS31, PLS10, GALOP X
ETAPS 2015, Semantics and Verification of Object-Oriented Languages @Shonan
Joint-theory-seminars mailing list (subscribe for seminar announcements in the London area!)