Zhenghan Li
Incoming Business Program Management Intern at Microsoft
Old Toronto, Ontario, Canada
Summary
👤
Senior🎓
Top SchoolZhenghan Li is an incoming Business Program Management intern at Microsoft with nine years of experience bridging technical development and business strategy. Currently studying Commerce at the University of Toronto, he has moved between roles in banking transformation, macroeconomic research, and security-focused software work, demonstrating a rare blend of product-minded analysis and engineering fluency. As a back-end developer and security engineer on static value-flow analysis tooling, he contributed substantive refactors and a LockResultValidator to strengthen multi-threaded lock analysis—evidence of practical expertise in code security. He founded and led a cybersecurity club and captained a CyberPatriot competition team, highlighting his initiative in building security communities and mentoring peers. Comfortable operating between stakeholders and code, Zhenghan excels at turning complex technical risks into auditable, business-friendly solutions. Based in Old Toronto, he brings analytical rigor, cross-functional leadership, and hands-on security engineering to program management roles.
9 years of coding experience
1 year of employment as a software developer
Bachelor of Commerce - BCom, Bachelor of Commerce - BCom at University of Toronto - Victoria UniversityOntario Secondary School Diploma (OSSD), Ontario Secondary School Diploma (OSSD) at York Mills Collegiate InstituteBachelor of Commerce - BCom Business/Commerce General, Bachelor of Commerce - BCom Business/Commerce General at Rotman Commerce, University of Toronto
English, Chinese, French
Github Skills (4)
cprogramming-language10
c-language10
static-analysis10
llvm10
Programming languages (3)
Github contributions (5)
SVF-tools/SVF
Jul 2021 - Jul 2021
Static Value-Flow Analysis Framework for Source Code
Role in this project:
Back-end Developer & Security Engineer
Back-end Developer & Security EngineerContributions:8 commits, 1 PR, 4 comments in 1 day
Contributions summary:Zhenghan primarily focused on refactoring and improving the static value-flow analysis framework. Their contributions include significant changes to the `MTA` (likely Multi-Threaded Analysis) module, introducing and integrating a `LockResultValidator`. They also refactored the `getCallee` function and added options for lock analysis validation. This indicates a focus on improving the analysis capabilities and potentially addressing security-related issues.
static-analyzerstatic-value-flowpointer-analysisanalysis-frameworkabstract-interpretation
ZH-Lee/Paper-Analysis
Jun 2019 - Jun 2019
Contributions:15 commits, 12 pushes, 1 branch in 5 days
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.