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 work with a great group of students:
We are part of the Programming Languages and Systems (PLASMA) Group, which includes several other students and faculty.
I am always looking for students (both graduate and undergraduate) who are interested in programming languages research. I encourage you to read some of my papers and see what I like to teach. I've also written a research statement that describes some of my most recent work. If you find any of this exciting, do get in touch.