I am on the academic job market in the Fall of 2025.

I am a fifth-year Ph.D. student in Mathematics at UC Berkeley, advised by Sug Woo Shin. 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 was 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.

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.

---

Feel free to email me if you have any questions.

Email: seewoo5 + at + berkeley + dot + edu