- ICT-Energy. European
Commission Framework 7 Coordination Action. (2013-2016).
- ENTRA: Whole-Systems Energy Transparency. European
Commission Framework 7 project in the FET Proactive (MINECC) initiative. Partners University of Bristol, XMOS Ltd, and IMDEA Software Institute (2012-2015).
- Experience Lab. Co-founder and member of steering group.
- NUSA: Numeric and Symbolic Abstractions in Software Model Checking. Danish Natural Science Research Council (FNU) (2011-2014).
- SAFT: Static Analysis with Finite Tree Automata. Danish Natural Science Research Council (FNU) (2007-2010).
Advanced Specialisation and Analysis for Pervasive Systems. European
Commission Framework 5 project (2002-2006).
IST Results article on ASAP
Recent Activities in the Research Community