Ph.D. from Univ.
of Victoria, Canada. Here is a short CV
(as of October 31, 2017).
Associate Professor at the Department
of Theoretical Computer Science (TCS)
of the School of Electrical Engineering
and Computer Science (EECS)
of the Royal Institute of Technology (KTH)
My office is located at KTH Main Campus, Osquars
backe 2, floor 5, room 4520.
- Software Verification
- Contracts for software development
- Program models, logics and tools
- Compositional and modular reasoning
- Multi-Agent Strategic Planning
- Multi-player games with imperfect information
- Epistemic strategy synthesis
- FASE 2019 (PC
2018 (PC member), PrePost
2017 (PC member), CSL 2017 (Workshops Chair), FASE
2017 (PC member), ISoLA 2016 (PC member and Track 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)
- AVerT (2019-2021) - Automated Verification and Test, a Vinnova
FFI collaborative project with Scania.
- REVaMP (2017-2019)
- Round-trip Engineering and Variability Management Platform and
Process, an ITEA-3 project.
- CVPP (2001- 2016) - an
informal collaborative project aiming at algorithmic verification of
control-flow properties of programs with procedures, with focus on
- 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.
- AkUt (2015-2016) - a
collaboration with Scania on Functional Verification of C programs. The
project was 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.
- DD2372 Automata and Languages (spring 2020, period 4)
- DD2452 Formal Methods (autumn 2019, period 1)
- DD2457 Program Semantics and Analysis (spring 2019, period 4)
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 projects (Examensarbete)
- Automated Deductive Verification of Embedded C Code (at Scania)
- Various topics related to Program Verification (at KTH)
- Various topics related to Multi-agent Strategic Planning (at KTH)
Department of Theoretical Computer Science
School of Electrical Engineering
and Computer Science
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] kth.se
- Understand and invent analog electronic devices with Circuit
Fantasia, by Cyril Mechkov.
- Elissaveta Pancheva's home page