Experience
Education
Bio
My research interests are in the areas of programming languages and software engineering, specifically focusing on techniques for improving software reliability and security.