I am a lecturer in computer science at Queen Mary, University of London.
I finished my doctorate at Laboratoire Bordelais de Recherche en Informatique under the supervision of Hugo Gimbert. Afterwards, I was a postdoc with Mikołaj Bojańczyk in Warsaw, and later with Joël Ouaknine and James Worrell at Oxford and MPI.
Links: DBLP, Google Scholar, arXiv
I am generally interested in the theory of computation, particularly in algorithmic verification, and:
Dynamical Systems
Logics in CS
Game theory
Automata
Office CS/433 e.kelmendi@qmul.ac.uk Phone: +44 (0) 759 99 09 09 19
School of Electronic Engineering and Computer Science Queen Mary, University of London Peter Landin Building 10 Godward Square London E1 4FZ