I am currently a post-doctoral researcher at the Max-Planck Institute for Security and Privacy (MPI-SP) in Bochum (Germany), under the supervision of Gilles Barthe. We are working on cybersecurity-related topics, by applying formal methods taken from the area of logic and alike to various areas of security and cryptography.
Before that, I completed a PhD on similar topics at Inria Nancy (France), under the supervision of Steve Kremer and Vincent Cheval.