Edon Kelmendi

Dr. Edon Kelmendi is a Lecturer in Computer Science at Queen Mary University of London, affiliated with the School of Electronic Engineering and Computer Science and the Centre for Fundamental Computer Science. His research focuses on algorithmic verification, dynamical systems, logics in computer science, game theory, and automata theory. He holds a position combining teaching and research responsibilities (T&R).

His research interests revolve around theoretical computer science, particularly in the algorithmic analysis of dynamical systems, decision procedures for ω-regular properties, and stochastic games. He explores topics such as linear recurrence sequences, reachability problems in hybrid systems, and submixing properties in stochastic environments.

Dr. Kelmendi’s recent work includes advancements in decidability questions for discrete and continuous linear dynamical systems, the design of learning algorithms for stochastic games, and formal verification techniques for automata and logical systems. His publications span venues like the ACM/IEEE Symposium on Logic in Computer Science (LICS) and the International Journal of Game Theory.

He is actively involved in the Centre for Fundamental Computer Science, contributing to research themes such as formal methods, theoretical computer science, and algorithmic foundations. No specific grants or advising roles are explicitly listed in the provided materials.