![Jonathan Chan](https://popl24.sigplan.org/getProfileImage/jonathanchan/34bb7c7b-c6d9-4751-9655-ff73a64d0b36/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
POPL 2024-profile
View general profile
View general profile