Jonathan Chan
Student at PLClub UPenn
Vancouver, British Columbia, Canada
Summary
🤩
RockstarJonathan Chan is a graduate student and former systems programming lab (splab) teammate with nine years of software experience, currently pursuing advanced studies in programming languages (MSc at UBC, transitioning toward PhD work at UPenn). Based in Vancouver, he blends rigorous academic training with practical research experience in PL, bringing deep interest in language design, compilers, and systems. His background suggests comfort collaborating in research labs and contributing to codebases that bridge theory and implementation. Jonathan’s trajectory from UBC to UPenn signals a strong research focus and ambition to push PL scholarship toward real-world impact.
10 years of coding experience
Stackoverflow
133reputation
75reached
0answers
1question
Github Skills (114)
textbook10
intermediate10
dependent-types10
coq10
netbsd10
logic10
scheme10
theorem-proving10
algorithms10
proof-assistant10
linux9
idris9
shamir-secret-sharing9
type-theory9
wolfram-language9
Programming languages (21)
Github contributions (5)
ionathanch/ionathanch.github.io
Jul 2019 - Aug 2025
Contributions:294 pushes, 3 branches in 6 years 2 months
ionathanch/ionathanch
Oct 2020 - Aug 2025
Contributions:16 pushes, 3 branches in 4 years 10 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.