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.
Presented my paper Safe Stream-Based Programming with Refinement Types at the 33rd IEEE/ACM International Conference on Automated Software Engineering. (slides)
Implemented some improvements (type inference, access-path tracking, type annotation/bound support) for the Error Prone nullness analysis. (open source)
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.