I do research concerning practical applications of a dependently typed programming language. My research advisor is Professor Richard Eisenberg at Bryn Mawr College.
Verifying Vote Counting Software with Dependent Types (Spring 2018)
Literature Review: Practical Applications of Dependent Types (Fall 2017)
Presented at the Student Research Competition of the 2018 SIGPLAN Symposium on the Principles of Programming Languages (POPL ‘18)
Last fall, I reviewed existing literature around practical applications of dependent types. My goal was to understand
Activism & Community Organizing
Pan-Asian Resource Center: Our Roots
Establishment of the Pan-Asian Resource Center
Inclusion and Diversity Resolution: Discrimination Clause Amendment.
Students’ Council Reform: Representative of International Students.
Consulting & Design
Pan-Asian Resource Center
Haverford Students’ Council