Jonathan Chan
Scholar

Jonathan Chan

Google Scholar ID: dR8doS8AAAAJ
University of Pennsylvania
programming languagestype theorydependent typesproof assistants
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
25
 
H-index
3
 
i10-index
0
 
Publications
6
 
Co-authors
3
list available
Contact
No contact links provided.
Publications
4 items
Graph Fusion Across Languages using Large Language Models
2026
Cited
0
Internalizing Extensions in Lattices of Type Theories
2025
Cited
0
Development of a Mobile Application for at-Home Analysis of Retinal Fundus Images
2025
Cited
0
Bounded First-Class Universe Levels in Dependent Type Theory
2025
Cited
0
Resume (English only)
Co-authors
3 total
Stephanie Weirich
Stephanie Weirich
Professor of Computer Science, University of Pennsylvania
William J. Bowman
William J. Bowman
University of British Columbia
Jessica Shi
Jessica Shi
PhD Student, University of Pennsylvania