![Jonathan Chan](https://icfp23.sigplan.org/getProfileImage/jonathanchan/2ac1bcda-e112-4766-82b1-27740ab3e547/small.jpg?1711515048000)
Registered user since Sun 23 Aug 2020
Name:Jonathan Chan
Country:Canada
Affiliation:University of Pennsylvania
Personal website: https://ionathan.ch
X (Twitter): https://x.com/ionathanch
GitHub: https://github.com/ionathanch
Research interests:Dependent Types, Type Theory, Proof Assistants
Contributions
2023
ICFP 2023-profile
View general profile
View general profile