On the academic job market in Fall 2025; Contributor to the FrontierMath Tier4 benchmark; Future visits: Aarhus University (Nov 13 - Nov 15), EPFL (Nov 16 - Nov 18), KIAS Winter School on Mathematics and AI (Dec 2 - Dec 5), University of Wisconsin-Madison (Dec 10 - Dec 12).
Education
Ph.D. in Mathematics from UC Berkeley, advised by Sug Woo Shin; Master's degree from POSTECH, advised by YoungJu Choie.
Background
Research interests: computational number theory, computer-assisted mathematics, optimization problems (e.g., various linear programming problems involving automorphic forms), formalization, and the application of machine learning to pure mathematics. Also interested in automorphic forms and representations, particularly in the context of the (relative) Langlands program and Ichino-Ikeda type conjectures.
Miscellany
Contact: Email seewoo5 + at + berkeley + dot + edu; Social Media: GitHub, Twitter, LinkedIn