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 (75)
shuttle10
embedded10
cpp10
sql10
database10
fibonacci10
scanner9
big-data9
ai9
rust9
data-race9
lockscreen9
cloud-native9
dbms9
clickhouse9
Programming languages (16)
Github contributions (5)
funemy/CV
Feb 2019 - Jun 2024
Contributions:20 pushes, 3 branches in 5 years 4 months
funemy/myConfig
Mar 2016 - Feb 2020
Contributions:21 pushes, 1 branch in 3 years 11 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.