I am the Centre Leader of the VKR Centre of Excellence MT-LAB researching the analysis and modeling of IT Systems. I am a Full Professor at the Technical University of Denmark and a member of the Language-Based Technology section of the Department of Informatics and Mathematical Modeling.

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 systems including software security. The the courses taught by LBT provide a good background for student projects in the area; if you are interested, please contact me.