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