I am looking for motivated and talented students to work
with. If you are interested, please contact
My research interests are in the areas of programming languages and
software engineering, specifically focusing on techniques for improving
software reliability and security.
In particular, I enjoy working on program analysis and compiler optimization
problems from perspectives such as computational complexity, analytic combinatorics, graph theory,
and formal languages.
I am also working with the following excellent undergraduate
I use firstname.lastname@example.org as my personal email.