My research focuses on proving that software preserves the confidentiality of data. I am building tools for this task, that scale to real programming languages and platforms.

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 (CIST) and the Programming, Logic and Semantics (PLS) group.

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.

39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2019) (PC member)

5th International Conference on Principles of Security and Trust (POST 2016) (PC member)

Workshop on Foundations of Computer Security (FCS 2015) (PC member)

19th Nordic Conference on Secure IT Systems (NordSec 2014), poster session (PC member)

Willard Rafnsson
IT University of Copenhagen
Rued Langgaards Vej 7
2300 Copenhagen S, Denmark