My research focuses on how to design and build secure systems, using automated techniques such as symbolic execution and abstract interpretation, as well as formal methods. I'm currently a member of the Everest Project.
Previously, I was a PhD student in Cylab at Carnegie Mellon University, coadvised by Bryan Parno and Corina Pasareanu. Before joining CMU, I received my Bachelor's and Master's degree from the Ecole Normale Superieure in Paris, France.