Postdoctoral Researcher
Foundations of Computer Security Group
Max Planck Institute for Software Systems
Saarland Informatics Campus (SIC)
E-mail: The solution to the following puzzle.
John Doe has e-mail address johnd@mpi-sws.org. Amy Hall has e-mail address amyh@mpi-sws.org. What is Willard Rafnsson's e-mail address?
Postal mail: (this is my visiting address; office number: 312)
Willard Rafnsson
MPI-SWS, Campus E1 5
66123 Saarbruecken, Germany
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.
As of May 1 2018, I am an assistant professor at the IT University of Copenhagen (ITU), in the Computer Science Department.
Currently, I am a postdoc at Max Planck Institute for Software Systems (MPI-SWS), working with Deepak Garg on information-flow control. Before this, 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. Before that, 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.
Service in Program Committees (PC)
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