I am a Full Professor at DTU Compute at the Technical University of Denmark where I work in the Formal Methods section. My main research interests are process modelling, static analysis, abstract interpretation, type and effect systems, operational semantics, model checking, qualitative and quantitative analysis, and software security. My main teaching activities relate to modelling and analysis of service oriented software systems including software security.