My research focuses on programming languages with an emphasis on security, programmability, and mechanized proof. I particularly enjoy applying programming languages techniques to various domains. For example, I'm actively working on problems in Web security and software-deﬁned networking.
I am always looking for students (both graduate and undergraduate) who are interested in programming languages research. Read some of my papers, check out my research projects, and see what I like to teach. If you enjoy any this kind of work, get in touch.
Amherst, MA 01003