Interests
- Formal Methods
- Distributed and Concurrent Systems
- Safety and Security
- Software Engineering
- Artificial Intelligence
Teaching
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 Conferences and Journals
- Journal on Logical and Algebraic Methods in Programming (JLAMP)
- Federated Conference on Distributed Computing Techniques (DisCoTec 2019)
- Spin Model Checking Symposium (SPIN 2020)
- Coordination Languages and Models (COORDINATION 2020)
- Formal Methods Symposium (FM2019)
- Spin Model Checking Symposium (SPIN 2019)
- Foundations of coordination languages and adaptive systems (FOCLASA 2019)
- Next Generation Programming Paradigms and Systems 2019 (SAC-NGPS 2019)
- Microservices, DevOps, and Service-Oriented Architecture (SAC-MIDOS 2019)
- Jornadas sobre Programación y Lenguajes (PROLE 2019)
- Formal Approaches to Parallel and Distributed Systems (4PAD 2018)
- Coordination Languages and Models (COORDINATION 2018)
- Foundations of coordination languages and adaptive systems (FOCLASA 2018)
- Spin Model Checking Symposium (SPIN 2018)
- Verification and Evaluation of Computer and Communication Systems (VECoS 2018)
- Conference on Artificial Intelligence (AAAI-18)
- Past:
SOAP 2018,
SOCA 2017,
CAS 2018,
NWPT 2017,
FOCLASA 2017, COORDINATION 2017, FACS 2017, IJCAI 2017, ALP4IoT 2017, CAS 2017, SOAP 2017, MSE 2017, NWPT 2016, 4PAD 2017, COORDINATION 2016, CONCUR 2016, GCAI 2016, FORECAST 2016, IJCAI 2016, WRLA 2016, SPIN 2016, ICE 2016, DAS 2016, 4PAD 2016, SOAP 2016, NWPT 2015, FACS 2015, TGC 2015, ADECS 2015, DAS 2015, VERY* 2015, WAS4FI 2015, WWV 2015, FMICS 2015, ICE 2015, GAM 2015, MOCHAP 2015, SOAP 2015, 4PAD 2015, FORTE 2014, FACS 2014, TGC 2014, ICE 2014, MOSPAS 2014, MOCHAP 2014, WAS4FI 2014, 4PAD 2014, SOAP 2014, ICE 2014, WRLA 2014, WS-FM 2013, ICE 2013, TGC 2013, GRAPHITE 2012, ICE 2012, ICE 2012, TGC 2012, GT-VMT 2011, ICE 2011 TGC 2011, SPIN 2011, ICE 2010, GT-VMT 2010, SPIN 2007
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.