Jason Z.S. Hu - POPL 2023

Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States

Registered user since Sun 10 Nov 2019

Name:Jason Z.S. Hu

Country:Canada

Affiliation:McGill University

Personal website: https://hustmphrrr.github.io/

GitHub: https://github.com/HuStmpHrrr

Research interests:Programming Languages, types, proof assistants

Contributions

2023

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

Show activities from other conferences

POPL 2023-profile
View general profile