SPLASH/ISSTA 2026 (series) / Jonathan Chan
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
SPLASH/ISSTA 2026-profile
View general profile
View general profile