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


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



  • 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 Conferences and Journals

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.