• Sign in
  • Sign up
conf.researchr.org / Jason Z.S. Hu
  • ICFP 2020 profile
  • POPL 2020 profile
  • POPL 2021 profile
  • POPL 2023 profile
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

Share
xSat 1 Apr 09:47
using conf.researchr.org (v1.60.0)
Support page
Sign Up