- Member of the
Programming, Logic and Intelligent Systems research group in the Department of Communication, Business and Information Technologies at Roskilde University.
Research Professor (part time) at the IMDEA Software Institute, Madrid.
Program transformation and generation, program analysis, constraint logic programming, rewrite systems, temporal logics, semantics-based emulation of languages and systems, and verification using abstraction, interactive installations.
- 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).
Press release about ENTRA.
- 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-2013).
- 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