Office: Levine 514
Office hours: see calendar
Links: Github | Google Scholar | dblp
I’m a second year PhD student at the University of Pennsylvania in the department of computer and information science, advised by Steve Zdancewic, and a part of PL Club. I do research in the field of programming languages. I did my undergrad in computer science at the University of Waterloo.
I really enjoy teaching, though I wasn’t able to TA much during my undergrad. I did do some one on one tutoring for a variety of computer science and math courses during the last few years of undergrad. My favourite to tutor (and most often tutored) was Algorithms (CS 341).
C++ Programming - CIS 190 (Instructor, half-credit undergraduate class): Fall 2019
Algebra for Honours Mathematics - MATH 135 (Undergraduate Marker): Fall 2014
“with …” means the authors are ordered alphabetically.
Interaction Trees: Representing Recursive and Impure Programs in Coq
Li-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, Steve Zdancewic
To appear at POPL 2020
arxiv | code