Interests

  • Formal Methods
  • Distributed and Concurrent Systems
  • Safety and Security
  • Software Engineering
  • Artificial Intelligence

Teaching

  • Model Checking (DTU/02246)
  • Introduction to Coordination in Distributed Applications (DTU/02148)
  • Computer Science Modelling (DTU/02141)

Papers

Projects

  • SIoT: DIREC project Secure IoT
  • Sb3D: Industry Fund project Security by Design in Digital Denmark
  • CyberSec4Europe: European H2020 Cybersecurity Competence Network Project
  • QUANTICOL: European FP7 Project on Quantitative Approach to Collective and Adaptive Systems
  • CINA: Italian Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society
  • ASCENS: European FP7 Project on Autonomic Service Component Ensembles
  • SENSORIA: European FP6 Project on Software Engineering for Service-Oriented Computing

Service in Journals

  • Journal on Logical and Algebraic Methods in Programming (JLAMP)

Steering Committees

  • Int’l IFIP Federated Conference on Distributed Computing Techniques (2019-today).
  • Int’l IFIP Conference on Coordination Models and Languages (2017-today).
  • Int’l Workshop Interaction and Concurrency Experience (2019-today).
  • Int’l Conf. on Parallel, Distributed and network-based Processing: Formal Approaches (2014-2018).

Organization of Conferences

  • Int’l Conference on Formal Methods for Industry-Critical Systems (FMICS 2021).
  • Int’l IFIP Federated Conference on Distributed Computing Techniques (DisCoTec 2019).
  • Int’l IFIP Conference on Coordination Models and Languages (COORDINATION 2016).
  • Int’l FM Workshop on Automated Specification and Verification of Web Systems (WWV 2015).
  • Int’l DISCOTEC Workshop Interaction and Concurrency Experience (ICE 2013-15).
  • Int’l ETAPS Workshop on Graph Inspection and Traversal Engineering (GRAPHITE 2014).
  • Int’l Conf. on Parallel, Distributed and network-based Processing: Formal Approaches (4PAD 2014).
  • Int’l HPCS Workshop on Modeling and Simulation of P2P and Autonomic Systems (MOSPAS 2013).
  • Int’l Summer School on Self-Awareness in Autonomic Computing (AWASS 2013).

Service as PC member

  • Int’l IFIP Conference on on Agents and Artificial Intelligence (ICAART 2024).
  • Int’l IFIP Conference on on Evaluation of Novel Approaches to Software Engineering (ENASE 2024).
  • Int’l IFIP Conference on Coordination Models and Languages (COORDINATION 2017-2023).
  • Int’l Symposium on Principles and Practice of Declarative Programming (PPDP 2023).
  • Int’l IEEE Conference on Autonomic Computing and Self-Organizing Systems (ACSOS 2021).
  • Int’l Symposium on Model Checking Software (SPIN 2007, 2011, 2016, 2018-2021).
  • Int’l Symposium on Formal Aspects of Component Software (FACS 2014-15,2017,2021).
  • Int’l IEEE Conference on Autonomic Computing and Self-Organizing Systems (ACSOS 2021).
  • Int’l IFIP ETAPS Workshop on Quantitative Aspects of Variant-rich Systems (QAVS 2020-2021).
  • Int’l Symposium on Formal Methods (FM 2019).
  • Int’l Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018).
  • Int’l Conference on Artificial Intelligence (AAAI 2018).
  • Int’l Conference on Concurrency Theory (CONCUR 2016).
  • Int’l Joint Conference on Artificial Intelligence (IJCAI 2016, 2017). Global Conference on Artificial Intelligence (GCAI 2016).
  • Int’l Workshop on Foundations of Coordination Languages and Self-Adaptative Systems (FO- CLASA 2017-2020).
  • Int’l Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive Sys- Tems (FORECAST 2016).
  • Int’l Workshop on Formal Approaches to Parallel and Distributed Systems (4PAD 2016-2018).
  • Intl’ ACM Symposium on Applied Computing – track on Service-Oriented Architectures and Programming (SOAP 2016-2018).
  • Intl’ ACM Symp. on Applied Comp. – Next Gen. Progr. Parad. and Systems (NGPS 2019).
  • Intl’ ACM Symp. on Applied Computing – Microservices, DevOps, and SOA (MIDOS 2019).
  • Intl’ ACM Symposium on Applied Computing – Collective Adaptive Systems (CAS 2017).
  • Intl’ IEEE Conference on Service-Oriented Computing and Applications (SOCA 2017).
  • Intl’ Workshop on Architectures, Languages and Paradigms for IoT (ALP4IoT 2017).
  • Nordic Workshop on Programming Theory (NWPT 2015-2016).
  • Int’l Workshop on Adaptive Services for the Future Internet (WAS4FI 2015).
  • Int’l Workshop on Petri nets for Adaptive Discrete-Event Control Systems (ADECS 2015).
  • Int’l Workshop on Formal verification for self-* systems (VERY* 2015).
  • Int’l Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015).
  • Int’l ETAPS Workshop on Graphs as Models (GAM 2015).
  • Int’l Workshop on Distributed Adaptive Systems (DAS 2015, 2106).
  • Int’l Conf. on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2014).
  • Int’l ETAPS Workshop on Rewriting Logic and its Applications (WRLA 2014-2024).
  • Int’l Workshop on Web Services and Formal Methods (WS-FM 2013).
  • Int’l Symposium on Trustworthy Global Computing (TGC 2011-12, 2014-15).
  • Int’l ICAPS Workshop on Model Checking and Automated Planning (MOCHAP 2014-15).
  • Int’l HPCS Workshop on Modeling and Simulation of P2P and Autonomic Systems (MOSPAS 2014).
  • Int’l ETAPS Workshop on Graph Inspection and Traversal Engineering (GRAPHITE 2011).
  • Int’l Workshop Interaction and Concurrency Experience (ICE 2010-12,16-17).
  • Int’l ESOCC Workshop on Adaptive Services for the Future Internet (WAS4FI 2014).
  • Int’l ETAPS Workshop on Graph Transformation and Visual Modelling Languages (GT-VMT 2010-11).
  • Jornadas de Programación y Lenguajes (PROLE 2019-2021).

PhD Alumni

Software Tools

  • pSpaces: Programming with Spaces
  • HSF-SPIN: an extension of the Spin model checker with directed model checking algorithms
  • Promela Database: a collection of Promela models for the Spin model checker

Student Projects

  • BSc/MSc projects: please contact me.
  • PhD projects: scholarships from DTU Compute are advertised here.