Dilian GUROV
Old page, Dilian’s new web page is here.
Ph.D. from Univ. of
Victoria,
Lecturer at the Laboratory of Electronics and Computer Systems (LECS) of the Department of
Microelectronics and Information Technology (IMIT) of the Royal Institute of
Technology (KTH) in
Previously I was a researcher at the Code Verification Group of the Swedish Institute of Computer Science (SICS).
Research Interests
My main interests are in formal reasoning about the interaction behaviour of open communicating systems. More specifically, I investigate algorithmic as well as proof system based techniques supporting compositional reasoning about such behaviours.
Projects
- SEFROS - a project funded by the Swedish Research Counsil (VR) aimed at developing techniques for formal reasoning about open systems based on a generalised symbolic notion of state and symbolic execution.
- VerifiCard (expired) - an EU project which aimed at providing verification techniques for multi-applet smart card applications running on the JavaCard platform.
Teaching
- 2G1519 Computer Science/Datalogi II (part 1) (HT05, periods 1+2)
- 2G1117 Semantics for Programming Languages (VT06, period 3)
- 2G1505 Automata Theory (next occasion: VT06, period 4)
- 2G1517 Advanced Formal Methods (VT05)
Supervision
- Graduate students
- Master's project supervision (Examensarbete)
Publications
Postal Address
Dilian Gurov
KTH-IMIT
P.O.Box Electrum 229
SE-164 40 Kista
Tel: (+46 8) 790 41 03
Fax: (+46 8) 751 17 93
E-mail: dilian at imit.kth.se
- disclaimer
- understand and invent analog electronic devices with Circuit Fantasia, by Cyril Mechkov.