Edon Kelmendi


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
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