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.
9 years of coding experience
Stackoverflow
133reputation
75reached
0answers
1question
Github Skills (135)
textbook10
test-kitchen10
agda10
mathematical10
intermediate10
dependent-types10
proofs10
coq10
homotopy-type-theory10
logic10
executable10
sat-solver10
scheme10
theorem-proving10
proof-assistant10
Programming languages (18)
Github contributions (5)
ralsei/types.pl
Nov 2022 - Nov 2022
The glitch-soc/Mastodon fork running on types.pl
Contributions:7 reviews, 10 commits, 16 PRs in 8 days
glitchmastodonsocglitch-soc
plclub/StraTT
Mar 2023 - Jan 2025
A demo implementation of a simple dependently-typed language
Contributions:116 pushes, 8 branches in 1 year 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.