Welcome

I’m a postdoc in computer science at Chalmers living in Gothenburg, Sweden. I work with Gerardo Schneider and David Sands. My primary research interests are in privacy, trust, and security. I use formal methods and language-based techniques as foundations.

Previously I worked on formal methods for privacy by design at Inria, under the supervision of Daniel Le Métayer. I defended my Ph.D thesis in 2015 at INSA Lyon.