Assistant Professor
Computer Science Department
IT University of Copenhagen

E-mail: The solution to the following puzzle.

John Doe has e-mail address johd@itu.dk. Anna Hall has e-mail address annh@itu.dk. What is Willard Rafnsson's e-mail address?

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

My research ambition is to create tools which guarantee that software systems are secure, safe and reliable. I am particularly interested in laying foundations for analyzing, verifying, and transforming programs towards this end.

I am an assistant professor at the IT University of Copenhagen (ITU), in the Computer Science Department.

Before this, I did a postdoc at Max Planck Institute for Software Systems (MPI-SWS), where I worked with Deepak Garg on information-flow control. Before that, I did a postdoc in CyLab at Carnegie Mellon University (CMU), where I worked with Limin Jia and Lujo Bauer on information-flow secure composition. I did my PhD with Andrei Sabelfeld in the ProSec group at Chalmers. My thesis is on information-flow security foundations for systems that interact.