기초과학연구원 이산수학그룹
On February 10, 2026, Seonghun Park (박성훈) from KAIST gave a talk on formalizing the flag algebra introduced by Alexander Razborov in the lean theorem prover. The title of his talk was “Formalizing Flag Algebras in the Lean Theorem Prover“.
On February 3, 2026, Xiaofan Yuan from the IBS Extremal Combinatorics and Probability Group gave a talk at the Discrete Math Seminar on the minimum color-degree condition for the existence of a rainbow path between any pair of vertices and its applications. The title of her talk was “Rainbow structures in edge colored graphs“.
The IBS Discrete Mathematics Group welcomes Hyunsung Choi (최현성), a new graduate student of the Discrete Mathematics Group from February 1, 2026. He received his B.S. degree from KAIST and entered the Department of Mathematical Sciences at KAIST as a graduate student on September 2025. His advisor is Andreas Holmsen.