I am a PhD student in mathematics at Yonsei University, supervised by Joonkyung Lee. My research is in extremal combinatorics and graph theory, particularly graph homomorphism inequalities. I received my bachelor’s degree in mathematics from POSTECH.
Updates
- October 2026: I will give a talk at the 2026 Combinatorics Workshop.
- August 2026: I gave a talk at ASIACOMB 2026.
- August 2026: Antiferromagnetic models are clique-minimizing, joint work with Joonkyung Lee, is now available on arXiv.
- July 2026: I completed my six-month visit to Caltech, hosted by David Conlon.
Publications
-
Antiferromagnetic models are clique-minimizing
Submitted -
Degree-sequence bounds for independent sets via multivariate local occupancy
-
Lower bounds for multivariate independence polynomials and their generalisations
Submitted. One of the main theorems is formalized in Lean 4: see this GitHub repo. -
Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erdős Problems
-
Counting homomorphisms in antiferromagnetic graphs via Lorentzian polynomials
Submitted. Extended abstract accepted to FPSAC 2025 -
Transversal cycles and paths in tournaments
Submitted -
Hamilton transversals in tournaments
-
On a rainbow extremal problem for color-critical graphs
-
On 1-Subdivisions of Transitive Tournaments