I am a formal methods expert in the software security group at the French cybersecurity agency (ANSSI) since September 2021.
I was a Postdoc from January 2019 to August 2021 working with Aslan Askarov and Lars Birkedal in the Logic and Semantics group at the Department of Computer Science of Aarhus University.
Before that, I was a Ph.D student between January 2016 to December 2018 in the Celtique group at Inria/IRISA/Université de Rennes 1 in France under the supervision of Sandrine Blazy and David Pichardie.
My Ph.D thesis is on the verification of constant-time implementations in a verified compiler toolchain such as CompCert and Verasco.
Address: Tour Mercure, 31 Quai de Grenelle, 75015 Paris, France