

Postdoctoral Researcher
CyLab
Carnegie Mellon University
Office: 2205, CIC Building
E-mail: The solution to the following puzzle.
John has e-mail address. Amy has e-mail address. Willard's e-mail address follows the same pattern.
My research ambition is to create tools which guarantee that software systems are secure, safe and reliable. I am particularly interested in analyzing, verifying and transforming programs towards this end.
Currently, I am a postdoc in CyLab at Carnegie Mellon University (CMU) working with Limin Jia and Lujo Bauer on information-flow control.
Before coming to CMU, I did my PhD with Andrei Sabelfeld in the ProSec group at Chalmers, and stayed on as a postdoc. My thesis is on information-flow security foundations for systems that interact. I developed tools for enforcing security in individual system components, and a theory for compositional reasoning. Together, these provide means to achieve end-to-end security guarantees in large systems.
Events
POST 2016 (PC member), FCS 2015 (PC member), NordSec 2014 (poster session PC member).
Publications
Thesis for the Degree of Doctor of Philosophy.
Department of Computer Science and Engineering,
Chalmers University of Technology and Göteborg University,
Thesis for the Degree of Licentiate of Engineering.
Department of Computer Science and Engineering,