Using the tools and techniques of programming languages, my research addresses security and reliability problems in web programming, systems, and robotics.
I work with a great group of students:
We are part of the PLASMA and LASER, which includes several other students and faculty.
I am also part of the Frenetic and JSWebTools projects.
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. If you find any of this exciting, do get in touch.