I am a research fellow in the Programming Languages group at Harvard University. Most recently, I've been working with Stephen Chong on novel programming models for access control.

In general, my research focuses on programming language techniques and formal methods that help programmers write safe, correct, and understandable software.