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:
FCS 2017 (co-chair),
FCS 2016 (co-chair),
PLAS 2011 (co-chair),
Selected teaching and tutorial material
- Mechanization of a noninterference proof for a simple imperative language with
a small-step semantics in Coq (GitHub)
- Associated introductory notes on language-based information-flow security