conf.researchr.org / Jason Z.S. Hu
Jason Z.S. Hu

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

POPL 2023 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
CPP 2021 Author of Formalizing Category Theory in Agda within the CPP 2021-track
ICFP 2020 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
POPL 2020 Author of Undecidability of D<: and Its Decidable Fragments within the Research Papers-track