Experience
Education
Bio
Research: My research interests include program analysis, software engineering and distributed systems. I focus on designing new techniques to improve software reliability and validating such techniques on real-world systems, including distributed systems, spreadsheets, and machine learning systems.