Kevin Liao

Work

Work Experience

Facebook Site Integrity (Summer 2017)
tenten Internal Tooling (Summer 2016)

Research

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

Hackathon Projects

DuolingoText

###