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:
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.