![Jonathan Chan](https://popl22.sigplan.org/getProfileImage/jonathanchan/cec976ec-d9e8-4142-83d1-972e6b2fd58c/small.jpg?1711515048000)
Registered user since Sun 23 Aug 2020
Name:Jonathan Chan
Country:Canada
Affiliation:University of British Columbia (UBC)
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 2022-profile
View general profile
View general profile