Edon Kelmendi

Bio

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.

I am generally interested in the theory of computation, particularly in algorithmic verification, and:

Algorithmic Theory of Piecewise Maps, Leverhulme Research Project Grant (2026-2029)

School of Electronic Engineering and Computer Science
Queen Mary, University of London
Peter Landin Building
10 Godward Square
London E1 4FZ