I am a research fellow in the Programming Languages group at Harvard University. Most recently, I've been working 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.