Seewoo Lee
Student
Berkeley, California, United States
Summary
🤩
RockstarSeewoo Lee is a graduate student in Mathematics based in Berkeley with seven years of professional experience bridging analytical rigor and technical problem-solving. Although currently a student, Seewoo brings seasoned industry experience that likely spans quantitative or software-adjacent roles informed by a strong math background. Comfortable working at the intersection of theory and application, they are positioned to translate complex mathematical concepts into practical solutions. Based in a major innovation hub, Seewoo is well-placed to collaborate with research labs or engineering teams and may already combine academic insight with hands-on project experience.
7 years of coding experience
Github Skills (42)
python10
in-progress10
mathematics10
acceleration10
machine-learning10
numpy10
computer-algebra-system10
deep-learning10
gpu10
autograd10
neural-network10
theorem-proving10
tensor10
gpu-acceleration10
computer-algebra9
Programming languages (7)
Github contributions (5)
seewoo5/math-notes
Feb 2022 - Feb 2025
TeX-ed notes for personal study
Contributions:23 PRs, 99 pushes, 27 branches in 3 years
texnoteslatex
seewoo5/lean-poly-abc
Mar 2023 - Jan 2025
Formalization of the proof of ABC conjecture for polynomials (Mason-Stothers theorem) in Lean 4
Contributions:6 reviews, 31 PRs, 44 pushes 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.