I am a PhD student in the Programming Languages group at Harvard University. Currently, I am working with Stephen Chong on improving the security of commodity operating systems. In general, I am interested in programming language techniques and formal methods that help programmers write safe, correct, and understandable software.