Edon KelmendiBioI 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 InterestsI am generally interested in the theory of computation, particularly in algorithmic verification, and:
News
ContactOffice CS/433 AddressSchool of Electronic Engineering and Computer Science |