Dr Nikolaos Tzevelekos

Senior Lecturer
School of Electronic Engineering and Computer Science
Queen Mary University of London
Queen Mary University of London
Research
Program analysis, Game semantics, Denotational semantics, Automata over infinite alphabets
Interests
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.Publications

2024

Koutavas V, Lin Y-Y and Tzevelekos N
Lecture Notes in Computer Science, Springer Nature vol. 15280, 328-346.
26-11-2024

Grigore R, Distefano D and Tzevelekos N
Lecture Notes in Computer Science, Springer Nature vol. 15260, 3-40.
13-11-2024

Koutavas V, Lin Y-Y and Tzevelekos N
, Editors: Madeira A and Knapp A.
01-01-2024

Koutavas V, Lin Y-Y and Tzevelekos N
, Editors: Sobocinski P, Lago UD and Esparza J.
01-01-2024
2023

Bandukara MH and Tzevelekos N
Journal of Systems Architecture, Elsevier vol. 145
01-12-2023

Tzevelekos N and Murawski AS
Samson Abramsky On Logic and Structure in Computer Science and Beyond, Springer Nature
02-08-2023

Koutavas V, Lin Y-Y and Tzevelekos N
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
29-06-2023
2022

LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science.
02-08-2022

Koutavas V, Lin YY and Tzevelekos N
01-01-2022

Bandukara MH and Tzevelekos N
01-01-2022
2021

Birkedal L, Dinsdale-Young T, Guéneau A, Jaber G, Svendsen K and Tzevelekos N
19-08-2021
2020

Murawski AS and Tzevelekos N
J. Acm vol. 68, 4:1-4:1.
11-12-2020

Lin YY and Tzevelekos N
Leibniz International Proceedings in Informatics, Lipics vol. 167
01-06-2020

Murawski AS, Ramsay SJ and Tzevelekos N
Corr vol. abs/2005.06411
01-01-2020
2019

Bulletin of Symbolic Logic, Cambridge University Press (Cup) vol. 25 (3), 420-420.
01-09-2019

, Editors: De Angelis E, Fedyukovich G, Tzevelekos N and Ulbrich M. , Open Publishing Association vol. 296
09-07-2019

De Angelis E, Fedyukovich G, Tzevelekos N and Ulbrich M
Electronic Proceedings in Theoretical Computer Science, Open Publishing Association vol. 296
09-07-2019

TZEVELEKOS NP and Murawski AS
Journal of Logical and Algebraic Methods in Programming, Elsevier
21-01-2019

Murawski AS, Ramsay SJ and Tzevelekos N
01-01-2019

Murawski AS and Tzevelekos N
J. Log. Algebraic Methods Program. vol. 104, 86-116.
01-01-2019

, Editors: Angelis ED, Fedyukovich G, Tzevelekos N and Ulbrich M.
01-01-2019
2018

Murawski AS, Ramsay SJ and Tzevelekos N
01-08-2018

JABER G and TZEVELEKOS NP
21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS).
14-04-2018
2017

TZEVELEKOS NP and Murawski AS
Formal Methods in System Design, Springer Verlag
09-08-2017

Murawski AS and Tzevelekos N
Logical Methods in Computer Science, Centre Pour La Communication Scientifique Directe (Ccsd) vol. Volume 12, Issue 3
27-04-2017

TZEVELEKOS NP, Murawski AS and Ramsay SJ
Journal of Computer and System Sciences
08-03-2017

Birkedal L, Dinsdale-Young T, Jaber G, Svendsen K and Tzevelekos N
09-02-2017

Hyland M, McCusker G and Tzevelekos N
Annals of Pure and Applied Logic vol. 168 (2), 233-233.
01-02-2017
2016

Murawski AS and Tzevelekos N
Logical Methods in Computer Science, Ifcolog (International Federation of Computational Logic) vol. 12 (3), 33-47.
17-08-2016

Jaber G and TZEVELEKOS NP
Logic in Computer Science (LICS).
05-07-2016

Murawski AS and Tzevelekos N
Acm Siglog News, Association For Computing Machinery (Acm) vol. 3 (2), 56-67.
31-05-2016
2015

Murawski AS, Ramsay SJ and Tzevelekos N
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
03-08-2015

Igarashi A, Murawski AS and Tzevelekos N
Nii Shonan Meet. Rep. vol. 2015
01-01-2015
2014

Murawski AS and Tzevelekos N
Acm Sigplan Notices, Association For Computing Machinery (Acm) vol. 49 (1), 517-528.
08-01-2014

01-01-2014
2013

Murawski AS and Tzevelekos N
, Editors: Pfenning F.
01-01-2013

Murawski AS and Tzevelekos N
Ann. Pure Appl. Log. vol. 164, 1118-1143.
01-01-2013

Murawski AS and Tzevelekos N
, Editors: Coecke B, Ong L and Panangaden P.
01-01-2013

Tzevelekos N and Grigore R
In Foundations of Software Science and Computation Structures, Springer Nature 17-33.
01-01-2013
2012

Grigore R, Distefano D, Petersen RL and Tzevelekos N
24-09-2012

Tzevelekos N
Comput. Lang. Syst. Struct. vol. 38, 181-198.
01-01-2012

Ghica DR and Tzevelekos N
, Editors: Berger U and Mislove MW. Mfps, Elsevier vol. 286, 191-211.
01-01-2012

Distefano D, Grigore R, Petersen RL and Tzevelekos N
Corr vol. abs/1209.5325
01-01-2012

Murawski AS and Tzevelekos N
, Editors: Czumaj A, Mehlhorn K, Pitts AM and Wattenhofer R. Icalp (2), Springer vol. 7392, 312-324.
01-01-2012
2011

Abramsky S and Tzevelekos N
. Lecture Notes in Physics vol. 813, 3-94.
07-02-2011
2010

Murawski AS and Tzevelekos N
01-01-2010
2009

Tzevelekos N
Log Meth Comput Sci vol. 5 (3)
01-01-2009
2007
2006

Tzevelekos N
Theor Comput Sci vol. 360 (1-3), 289-326.
21-08-2006
Grants


Nikolaos Tzevelekos
£44,502 Innovate UK
07-05-2019 - 31-10-2019