Research Interests:
Program transformation and generation, program analysis, constraint logic programming, rewrite systems, temporal logics, semantics-based emulation of languages and systems, and verification using abstraction.
Projects
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).
ASAP:
Advanced Specialisation and Analysis for Pervasive Systems. European
Commission Framework 5 project (2002-2006).
IST Results article on ASAP