I am a Postdoctoral researcher in the Privatics team at Inria where I work with Daniel Le Métayer. I have a PhD degree in Computer Science from Chalmers University of Technology. During my PhD studies I was part of the Formal Methods Division at the Department of Computer Science and Engineering. I was supervised by Gerardo Schneider, Musard Balliu and David Sands.
My research is focused on developing rigorous techniques to design, analyse and build software to protect online privacy. My interests lie at the intersection of formal methods, online privacy and computer security. Currently, I am working in the following topics:
The licentiate thesis is part of the licentiate degree, which is a half way PhD title which can be acquired in Sweden.
I have been part of the review process of the following conferences and journals:
During my PhD studies I was Teaching Assistant (TA) for the following courses: