I’m an incoming postdoc at EPFL, and I’ll be working with Maryna Viazovska and Viktor Kuncak, partially funded by Renaissance Philanthropy’s AI for Math Fund.

My research interests lie in computational number theory and, more broadly, in computer-assisted mathematics. This includes areas such as optimization problems (e.g., various linear programming problems involving automorphic forms), formalization, and the application of machine learning to pure mathematics. I am one of the maintainers for the Sphere Packing in Lean project, and also one of the contributors for the FrontierMath Tier4 benchmark. I am also interested in automorphic forms and representations, particularly in the context of the (relative) Langlands program and Ichino-Ikeda type conjectures.

I got my Ph.D. at UC Berkeley in Spring 2026 under the supervision of Sug Woo Shin.

During my alternative military service in South Korea from 2019 to 2022, I worked at Riiid and CryptoLab. I also worked at Axiom as an intern in 2026 Spring.

Previously, I completed a master’s program at POSTECH, where I was advised by YoungJu Choie.

---

Office: See here

---

See travel to see where I visited, am visiting, and will visit.

---

Email: seewoo5 + at + berkeley + dot + edu