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.
Before joining CMU, I received my Bachelor's and Master's degree from the Ecole Normale Superieure in Paris, France.
My email address is lastname [at] cmu dot edu
You can also find me at my desk:
2128C, Collaborative Innovation Center 4720 Forbes Ave, Pittsburgh, PA, 15213
You can find my CV here.