Registered user since Sun 23 Aug 2020
Name:Jonathan Chan
Country:United States
Affiliation:University of Pennsylvania
Personal website: https://ionathan.ch
GitHub: https://github.com/ionathanch
Research interests:Type systems, proof assistants, compilers
Contributions
Using general profile