I am a Research Engineer at Novi, working on blockchain systems and consensus protocols. I joined Facebook in 2012. As a Software Engineer, I worked on iOS security, software developer tools, machine learning services, and the Libra blockchain. Formerly a security specialist at the French national information security agency (ANSSI), I hold a B.Sc. from Ecole Polytechnique, a M.Sc from Telecom ParisTech, and a PhD degree from ENS Cachan on formal verification of cryptographic protocols.
Consensus protocols, blockchains, cryptographic protocols, formal verification