kth

Dilian GUROV

Ph.D. from Univ. of Victoria, Canada.

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:


Publications

General Presentations


Service


Projects

Ongoing Projects

Past Projects


Teaching

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.

Supervision


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
SWEDEN

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