I conduct research in the areas of computer security and programming languages.
Starting in August 2014, I am an Associate Professor at Aarhus University.
- Computer security: foundations, information-flow, mitigation of covert channels,
programming-language based characterization and enforcement, web security.
- Programming languages: semantics, design, type systems, program analysis.
Selected recent publications
- Program committees:
PLAS 2011 (co-chair),