I am a Royal Academy of Engineering Research Fellow and 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.
Moreover,
I examine applications of these models to program analysis in order to develop methods and tools
for formally analysing and checking software.
Events:

FOSSACS 2016

SR 2015,
CONCUR 2015,
ESSLLI 2015, LOLA 2015,
MFPS31, PLS10,
GALOP X

ETAPS 2015
 GALOP VIII, LOLA 2013, Wessex 17, GALOP 2011, Oxford LINT.

Queen Mary Theory seminars

Jointtheoryseminars mailing list (subscribe for seminar announcements in the London area!)
Activities

17/11/15.
Gave a talk on Automata over infinite alphabets:
Investigations in FreshRegister Automata at Logical Foundations of Data Science

13/10/15.
Gave a talk on Game Semantic Analysis of Equivalence
in Interface Middleweight Java at ATVA'15

30/09/15.
Gave a talk on Automata over infinite alphabets: Investigations in FreshRegister Automata at University of Southampton

25/09/15. Organised a NII Shonan meeting on Semantics and Verification of OO Languages jointly with Atsushi Igarashi and Andzej Murawski

18/09/15. Gave a talk on Bisimilarity in FreshRegister Automata at Highlights 2015

07/08/15. Gave joint summer school course on Automata over Infinite Alphabets at ESSLLI 2015

05/07/15. Gave a talk on Nominal games: a lowlevel semantics for open programs at LOLA 2015

22/06/15. Gave a talk on Game Semantic Analysis of Equivalence
in Interface Middleweight Java at MFPS XXXI

16/06/15. CONEQCT will be presented in ATVA 2015. More about the tool at its webpage:
Coneqct: a contextual equivalence checking tool for Interface Middleweight Java

13/06/15. Gave a talk on Automata over infinite alphabets: Investigations in FreshRegister Automata at PLS10

12/04/15. Gave a talk on Nominal game semantics: what's new at the GALOP 2015 workshop

27/02/15. Gave a talk on Automata over infinite alphabets: Investigations in FreshRegister Automata at University of Birmingham

19/02/15. Gave a talk on Nominal game semantics and automata at Aarhus University

09/12/14. Gave a talk on Nominal game semantics and automata at Microsoft Research, Cambridge

24/10/14. Gave a talk on Automata (& programs) over infinite alphabets at the OASIS 10 Year Anniversary Workshop, Oxford

03/09/14. Presented joint work with Andrzej Murawski and Steven Ramsey on Reachability in Pushdown Register Automata at the Highlights of Logic, Games and Automata conference, Paris

30/06/14. New EPSRC project on Program Reasoning with Nominal Game Semantics

12/06/14. Gave a talk on Nominal game semantics and automata at the Semantics of proofs and programs workshop, IHP, Paris

26/05/14. Visiting the Institute Henri Poincare for a month, taking part in the Semantics of proofs and certified mathematics trimester

12/04/14. Gave a talk on Game Semantics for Interface Midleweight Java at the GALOP 2014 workshop

09/04/14. Presented joint paper with Andrzej Murawski at FOSSACS 2014

24/01/14. Presented joint paper with Andrzej Murawski at POPL 2014

27/12/13. Gave a talk on Games and Full Abstraction for Java programs at the Programming Languages Seminar, National Technical University of Athens

15/10/13. Gave a tutorial talk on Names, games and automata at the Nominal Computation Theory seminar at Dagstuhl

19/07/13. Gave a talk on Deconstructing general references using game semantics at the HOPE workshop, (ICFP'13 satellite)

30/05/13. Presented joint paper with Andrzej Murawski at the Samson@60 Workshop

12/04/13. Gave a course on Typed Lambda Calculus at the Midlands Graduate School 2013. The slides for the course are here

ETAPS 2015 will be held at Queen Mary!
The local organisation will be done by the Theory group, with cochairs Pasquale Malacaria and myself

18/03/13. Presented joint paper with Radu Grigore on HistoryRegister Automata at FOSSACS'13

08/03/13. Cochair of GALOP 2013, which is going to be held at Queen Mary, on 1819 July 2013

18/02/13. PC member of LOLA 2013

27/12/12. Gave a talk on Games with names at the Programming Languages Seminar, National Technical University of Athens

16/12/12. The following joint papers will appear in ETAPS'13

20/09/12. Organiser, along with Edmund Robinson, of the 17th Wessex Theory Seminar. If you would like to attend, it would be good to contact us so that we know numbers. Registration is free
 29/06/12. Gave a talk on Game semantics for fragments of ML at the GaLoP VII: Games for Logic and Programming Languages workshop in Dubrovnik
 11/04/12. Gave a talk on Programs, Security and Games at the Science of Information Systems workshop, LIMS London
 01/03/12. Organiser of the QMUL Theory Group Seminar. If you are interested in giving a seminar or being added to our mailing list, please contact me in the first instance


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
