Office: Levine 514
Office hours: Mondays 2-3PM (CIS 190), Tuesdays 9:30-10:30AM (CIS 341), and otherwise 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).
Algebra for Honours Mathematics - MATH 135 (Undergraduate Marker): Fall 2014
“with …” means the authors are ordered alphabetically.
An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction
Yannick Zakowski, Paul He, Chung-Kil Hur, Steve Zdancewic
CPP 2020, New Orleans, USA
paper | doi | gpaco code | euttG code | talk
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
POPL 2020, New Orleans, USA
Distinguished Paper Award
paper | doi | code