I am a research engineer at CEA LIST, a public technological research institute close to Paris. I am a member of the LSL lab with interests in privacy, security, language-based techniques, and innovation.
Previously, I have been a postdoctoral researcher in computer science at Chalmers in Sweden in the team of David Sands and Gerardo Schneider. I explored privacy, trust, and security applications relying on formal methods and language-based techniques for almost 2 years. Before this, I have been a doctoral researcher at Inria under the supervision of Daniel Le Métayer. My PhD thesis was about formal methods for privacy by design. I defended it in 2015 at INSA Lyon.