Paul He

Photo Email: paulhe@seas.upenn.edu
Office: Levine 514

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.

News

I am teaching C++ Programming - CIS 190 in fall 2019.

Teaching

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).

Penn
C++ Programming - CIS 190 (Instructor, half-credit undergraduate class): Fall 2019

Waterloo
Algebra for Honours Mathematics - MATH 135 (Undergraduate Marker): Fall 2014

Publications

“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
In Submission
arxiv | code

The Satisfiability of Word Equations: Decidable and Undecidable Theories
with Joel Day, Vijay Ganesh, Florin Manea, and Dirk Nowotka.
RP 2018, Marseille, France.
doi

A Simple Soundness Proof for Dependent Object Types
Marianna Rapoport, Ifaz Kabir, Paul He, Ondřej Lhoták.
OOPSLA 2017, Vancouver, Canada.
Distinguished Artifact Award
paper | doi | proof