Seewoo Lee
Student
Berkeley, California, United States
Summary
🤩
RockstarLee Seewoo is a Ph.D. candidate in mathematics at UC Berkeley with six years of research and engineering experience applying rigorous mathematics to practical problems. He has worked as a research scientist at Riiid and as a research engineer at CryptoLab, blending strengths in machine learning–driven education technology and applied cryptography. A graduate of POSTECH with an outstanding 4.15/4.3 undergraduate GPA, he is skilled at translating theoretical insight into prototypes and industry-facing research. His career reflects a cross-cultural trajectory from top Korean institutions to Bay Area research labs, positioning him to bridge deep theory and real-world systems.
6 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.