kth

Dilian GUROV

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

Docent 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 4, room 4417.


Research Interests

My main interest is in program correctness. I am investigating various approaches to proving properties of the interaction behaviour of programs, such as the correct sequencing of method calls in Java-like programs, message passing in Erlang programs, or handshake communications in CCS-like process calculi, expressed in a suitable temporal logic. I investigate algorithmic as well as deductive techniques.

My research focus lies on:


Projects

Past Projects


Teaching


Supervision


Publications


Service


General Presentations


Postal Address

Dilian Gurov
Department of Theoretical Computer Science
School of Computer Science and Communications
KTH Royal Institute of Technology

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