conf.researchr.org / Tesla Zhang
Registered user since Sun 24 Jan 2021
Name:Tesla Zhang
Bio:
Type theorist.
Country:United States
Affiliation:Carnegie Mellon University
Personal website: https://www.aya-prover.org
X (Twitter): https://x.com/quasivalence
GitHub: https://github.com/ice1000
Research interests:Programming Languages, Type Theory
Contributions