My interests are in computer security, programming languages, and formal methods. In particular, all means of guaranteeing that software is secure, safe and reliable, especially if this is achieved through analysis, verification, and transformation, of programs.
I am an Assistant Professor at the IT University of Copenhagen (ITU). I am a member of the Center for Information Security and Trust (CISAT) , as well as the Programming, Logic and Semantics (PLS) and Software Quality Research (SQUARE) groups.
I was a Postdoc at Max Planck Institute for Software Systems (MPI-SWS), hosted by Deepak Garg, and at Carnegie Mellon University (CMU) CyLab, hosted by Limin Jia and Lujo Bauer. I did my PhD at Chalmers in the security lab, supervised by Andrei Sabelfeld.
24th Nordic Conference on Secure IT Systems (NordSec 2019) (Poster chair)
Concurrent Programming (TDA383)
Finite Automata Theory and Formal Languages (TMV027)
WhatsApp hack - Radio24syv, Datolinjen (interview, 2019-05-14)
Securing Web Applications - Chalmers University of Technology (actor, 2013-12-18)