conf.researchr.org / Yulong Huang
No Photo

Registered user since Sun 9 Apr 2023

Name:Yulong Huang
Country:United Kingdom
Affiliation:University of Cambridge
Personal website: https://h-yulong.github.io/
GitHub: https://github.com/H-Yulong
Research interests:Dependent type theory, Automated theorem proving, Type-preserving compilation

Contributions