I am a Principal Scientist at Galois. Currently, my research focuses on applying programming language theory and analysis techniques to understand, detect, and repair exploitable vulnerabilities in programs.

Previously, I was a postdoctoral fellow in the Programming Languages group at Harvard University, where I worked with Stephen Chong on using software contracts to express and enforce access control policies.

In general, my research focuses on programming language techniques and formal methods that help programmers write safe, correct, and understandable software. I have experience with software contracts, capability-based security, information-flow control, static analysis, type systems, compilers and language implementation.