Associate Professor IT University of Copenhagen
My goal is to enable developers to write, at scale, trustworthy software that satisfies high-level security requirements.
My research is on language-based security . I build foundations for computer security by advancing and applying techniques and tools from programming-language theory and formal methods , such as program analysis and program transformation .