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

• Please see any of the following databases: dblp, google scholar, scopus, orcid, isi or check my old list 

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.