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 August 2010, I organize a Dagstuhl Seminar on insider threat mitigation. This is a sequel to another Dagstuhl seminar in July 2008. We gathered experts from involved communities to discuss 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:

• The 8th International Conference on the Principles and Practice of Programming in Java (submission closed)
• The 2010 Annual Computer Security Applications Conference
• The 15th Nordic Conference on Secure IT Systems