![Pinjia He](https://popl22.sigplan.org/getProfileImage/pinjiahe/71d57d53-f762-48e6-b512-aefeb1b035e9/small.jpg?1711472515000)
Registered user since Mon 24 Jun 2019
Name:Pinjia He
Country:China
Affiliation:The Chinese University of Hong Kong, Shenzhen
Personal website: https://pinjiahe.github.io/
X (Twitter): https://x.com/PinjiaHE
GitHub: https://github.com/PinjiaHe
Contributions
POPL 2022-profile
View general profile
View general profile