Research Interests
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.
Bio
I am an Assistant Professor at the IT University of Copenhagen (ITU). I am a member of the Center for Information Security Research (CISR) 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.
Professional Activities
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)
Publications
Theses
Department of Computer Science and Engineering,
Chalmers University of Technology and Göteborg University,
ISBN 978-91-7385-989-9, April 2014.
Department of Computer Science and Engineering,
Chalmers University of Technology and Göteborg University,
ISSN 1652-876X, May 2012.
Department of Computer Science,
Aalborg University, June 2008.
Teaching
Concurrent Programming (TDA383)
Finite Automata Theory and Formal Languages (TMV027)
Algorithms (TIN093)
Functional Programming

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