My research focuses on how to design and build secure systems through the use of formal methods. My recent projects revolve around the verification of Rust programs using the Aeneas toolchain, development of verified, high-performance cryptographic primitives, as well as the application of formal methods to computational legal texts implemented in the Catala language.
Previously, I was a PhD student in Cylab at Carnegie Mellon University, coadvised by Bryan Parno and Corina Pasareanu, and a member of the Everest Project. Before joining CMU, I received my Bachelor's and Master's degree from the Ecole Normale Superieure in Paris, France.