I am a member of the technical staff at Galois.

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.