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)
My office is located at KTH Main Campus, Osquars
backe 2, floor 5, room 4520.
My main interest is in program
correctness, with focus on compositional reasoning. In
particular, I am investigating:
- Program models and logics for software verification
- Algorithms and tools for compositional and modular reasoning about
- Modelling and verification of software product lines
- Security and privacy
2017 (PC member), ISoLA 2016 (PC member and Track2 co-organizer), NWPT 2016 (PC member), iFM 2016 (PC member), VeCoDiS
2015 (a Lorentz workshop, co-organizer),
FMSPLE 2015 (PC
2014 (an ESORICS workshop, PC member), WING 2014 (PC
member), FMSPLE 2013 (PC member), FoVeOOS 2011 (PC co-chair), ACM SAC 2010 (Software
Verification and Testing track, PC member), FoVeOOS 2010 (PC member),
2010 (PC member), SAVCBS 2009 (PC member)
- PlaTE (2016-2017) -
Multi-Robot Planning under Temporal-Epistemic Goals, a Small Visionary
Project funded by the CSC school of KTH. The goal of the project is to
develop a decentralized framework for collaborative multi-robot planning
based on knowledge exchange.
- CVPP (2001- ) - an informal
collaborative project aiming at algorithmic verification of control-flow
properties of programs with procedures, with focus on compositionality.
- AkUt (2015-2016) - a
collaboration with Scania on Functional Verification of C programs. The
project is within a KLOSS
initiative to get academics out to industry (Swedish: Akademi
(2012-2015) - a project supported by the 7th Framework Programme of the
EC within the FET (Future and Emerging Technologies) Open scheme.
(2009-2012) - an EU FET project titelled Highly Adaptable and
Trustworthy Software using Formal Models.
(2008-2012) - a COST Action
titelled Formal Verification of Object-Oriented Software, with the goal
to co-ordinate the development of verification technology to achieve
reach and power needed to assure reliability of object-oriented programs
on industrial scale.
- ContraST (2009-2011) - a
project funded by the Swedish Research Counsil (VR) that aims at the
development of a theoretical framework, algorithms and tools for mobile code security.
In our approach, mobile code is equipped with a contract
consisting of an abstract model of its security-relevant behaviour,
together with some form of evidence that the model is a safe
approximation of the actual behaviour. The code consumer can then use
this contract to check whether the code, once deployed and executed,
will obey the consumer's security
(2006-2008) - an EU STREP project with the objective of creating a
framework and a technological solution for the trusted deployment and
execution of communicating mobile applications in heterogeneous
environments. The framework is based on the notion of contract
and their enforcement by means of (in-lined) runtime
- SEFROS (2003-2006) - a project funded by the Swedish Research
Counsil (VR) that aimed at techniques for formal reasoning about open systems based on an
explicit state space representation.
- VerifiCard (2001-2003) -
an EU project that aimed at providing verification techniques for multi-applet
smart card applications running on the JavaCard platform.
(1997-2001) - a Swedish collaborative project which explored
compositional verification of open distributed systems written in the Erlang programming language.
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.
- Graduate students
- Pedro de Carvalho Gomes (defended December 2015)
- Siavash Soleimanifard (defended September 2014)
- Irem Aktug (defended October 2008)
- Master's project supervision (Examensarbete)
Department of Theoretical Computer Science
School of Computer Science and
KTH Royal Institute of Technology
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