My research applies ideas from programming languages to attack problems in web programming, web security, system configuration management, and software-defined 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.