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

Interests

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

  • Dynamical Systems

  • Logics in CS

  • Game theory

  • Automata

Contact

Office CS/433
e.kelmendi@qmul.ac.uk
Phone: +44 (0) 759 99 09 09 19

Address

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