I am an Associate Professor in the Language-Based Technology section of the Department of Informatics and Mathematical Modeling at the Technical University of Denmark. My main research interests are in the areas of programming languages, optimizing compilers, and abstract machines, as well as modelling and analysis of systems.

If you are a student, you are probably also interested in the courses taught by LBT or in our project proposals. If you have an idea for a project that falls in my research area, please contact me.

In July 2008, I organized a Dagstuhl Seminar together with Matt Bishop, Jeffrey Hunker, and Dieter Gollmann. We gathered experts from involved communities to discuss how to counter insider threats. A report on the seminar is available here.

I am currently involved in the following events. Please consider both submitting articles and participating:

• I serve on the program committee for the International Workshop on Security and Privacy in Cloud Computing (SPCC2010).