I am a PhD student in the Department of Computer Science at the University of Colorado, Boulder, where I started in Fall 2015 and received an MS in Fall 2017. I am a member of the Programming Languages and Verification Group (CUPLV), advised by Professor Evan Chang. Previously, I was a student at Williams College, in Williamstown, MA, where I graduated in June 2015 with a BA in Computer Science and Mathematics.
Built a type analysis to statically detect multithreading bugs in functional-reactive Android applications. I worked under Manu Sridharan in the static analysis group.
Attended POPL '16 and the co-located Programming Languages Mentoring Workshop on a Research Community Development grant from CU.