kth

Dilian GUROV

Professor in Computer Science

Department of Theoretical Computer Science (TCS) of the School of Electrical Engineering and Computer Science (EECS) of the Royal Institute of Technology (KTH) in Stockholm.

Ph.D. from University of Victoria, Canada.

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

Research Interests

Publications

Own Profile
DBLP Profile
Google Scholar Profile
ResearchGate Profile

General Presentations

Modular Software Verification, invited talk at RTA-CSIT 2014
Modular Verification of Temporal Safety Properties of Procedural Programs, invited tutorial at SEFM 2011
Compositional Verification of Interaction Behaviour, Docent lecture, March 2007

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

Postdoctoral fellows

Doctoral students

Master's projects (Examensarbete)

Postal Address

Dilian Gurov
Department of Theoretical Computer Science
School of Electrical Engineering and Computer Science
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] kth.se