Hi! I'm currently a PhD student at the University of Colorado-Boulder, since fall 2016. I work in the Programming Languages and Verification group (CUPLV), with Professor Matthew Hammer. I am primarily interested in leveraging insights from PL design to improve the ergonomics and functionality of languages for developers. My current work is in support of the Online Verification-Validation project, which aims to bring the power of static verification to today's highly dynamic world. Before coming to Boulder, I did my BA in Computer Science at Cornell University, where I graduated in 2016.