Qi Wei
Mississauga, Ontario, Canada
Summary
🤩
Rockstar🎓
Top SchoolQi (Kevin) Wei is a University of Toronto computer science and math double major with six years of hands-on experience building full-stack systems and exploring formal verification, theorem-proving, and ML grounded in formal reasoning. He has shipped production features at Nokia—designing a Node.js/Vue.js order-tracking system and real-time notifications for 1,000+ employees—and currently contributes at NVIDIA while teaching mathematical proof and theory of computation courses. Comfortable from competitive programming to web development, he also builds small, practical tools such as a campus-integrated RateMyProf Chrome extension that highlights his user-focused, end-to-end approach. His background blends rigorous theory with pragmatic engineering, making him adept at turning formal ideas into reliable software.
6 years of coding experience
High School Diploma None, High School Diploma None at Earl of MarchBachelor of Science - BS Computer Science, Bachelor of Science - BS Computer Science at University of Toronto
Github Skills (6)
in-progress10
computer-algebra-system9
mathematics9
computer-algebra8
theorem-proving8
math7
Programming languages (2)
Github contributions (5)
Kevew/Earl-of-March-VirtualTour
Nov 2021 - Jan 2024
Contributions:48 pushes, 1 branch in 2 years 2 months
Kevew/Competitive-Programming-Answers
Feb 2021 - Jan 2024
Contributions:13 pushes in 2 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.