Dilian GUROV

Ph.D. from Univ. of Victoria, Canada. Here is a short CV (as of October 31, 2017).

Associate Professor at the Department of Theoretical Computer Science (TCS) of the School of Computer Science and Communications (CSC) of the Royal Institute of Technology (KTH) in Stockholm.

My office is located at KTH Main Campus, Osquars backe 2, floor 5, room 4520.

Research Interests

My main interest is in program correctness, with focus on compositional reasoning. In particular, I am investigating:


General Presentations



Ongoing Projects

Past Projects


Science and Art

I am also interested in novel approaches to teaching that challenge the established views on learning as a purely rational activity and knowledge as a set of statements about objects. I'd like to build a bridge with Art aiming to include the emotional aspects of knowledge discovery and learning.


Postal Address

Dilian Gurov
Department of Theoretical Computer Science
School of Computer Science and Communications
KTH Royal Institute of Technology
Lindstedtsvägen 3
SE-100 44 Stockholm

Tel: +46 8 790 81 98
Fax: +46 8 790 09 30
E-mail: dilian [at] csc.kth.se

- Understand and invent analog electronic devices with Circuit Fantasia, by Cyril Mechkov.
- Elissaveta Pancheva's home page