Yanze Li
Teaching Assistant at The University of British Columbia
British Columbia, Canada
Summary
👤
Senior🎓
Top SchoolYanze Li is a PhD-level computer scientist and teaching assistant at UBC with 11 years of experience bridging formal programming-language theory and practical tools for program correctness. He has built production-grade static analysis for concurrency bugs at Coderrect/Sec3 and researched program analysis and concurrency as a graduate researcher, bringing deep expertise in type theory, semantics, and program logics to real-world software engineering problems. He teaches advanced software engineering and distributed systems while pursuing doctoral work, combining rigorous formal methods with hands-on system-building. A concise thinker who jokes about "misinterpreting PL and math" on GitHub, he’s comfortable moving from proofs and specs to shipping analyzers that catch subtle concurrency anti-patterns.
11 years of coding experience
3 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at The University of British ColumbiaMaster of Science - MS, Computer Science, 4.0, Master of Science - MS, Computer Science, 4.0 at Texas A&M UniversityBachelor of Engineering - BE, Electrical Engineering and Automation, 3.67/4, Bachelor of Engineering - BE, Electrical Engineering and Automation, 3.67/4 at Huazhong University of Science and Technology
Stackoverflow
51reputation
225reached
0answers
1question
Github Skills (63)
race-condition10
fibonacci10
data-race10
cpp10
static-analysis9
analytics9
multithreading9
lockscreen9
sql9
ai9
database9
clickhouse9
cloud-native9
rust9
embedded9
Programming languages (17)
Github contributions (5)
funemy/CV
Feb 2019 - Jun 2024
Contributions:20 pushes, 3 branches in 5 years 4 months
funemy/exercises
Feb 2023 - Jul 2026
Contributions:68 pushes, 1 branch in 3 years 5 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.