Graduate Researcher · Theoretical Computer Science

Gunwoo
Kim.

I study the structure of graphs and the algorithms hidden within them.

gunwoo.kim@kaist.ac.kr ↗IBS DIMAG profile ↗

Structural Graph TheoryParameterized ComplexityGraph AlgorithmsDiscrete Mathematics

About

I am a graduate student at the School of Computing, KAIST, advised by Professor Eun Jung Kim. I am also a member of the IBS Discrete Mathematics Group in Daejeon, South Korea.

My research sits at the intersection of structural graph theory and parameterized algorithms. I am interested in width parameters, graph containment relations, logical model checking, and the structural reasons that make hard problems tractable.

Education

2024 — presentGraduate Student, Computer Science

KAIST, Daejeon

B.S.Computer Science

Technische Universität Berlin

Publications

2026SoCG 2026

First-Order Logic and Twin-Width for Some Geometric Graphs

Colin Geniet, Gunwoo Kim, and Lucas Meijer

Characterizes first-order model-checking tractability through twin-width for several geometric graph classes.

Paper ↗arXiv ↗

2026ICALP 2026

Odd-Cycle-Packing-Treewidth: On the Maximum Independent Set Problem in Odd-Minor-Free Graph Classes

Mujin Choi, Maximilian Gorsky, Gunwoo Kim, Caleb McFarland, and Sebastian Wiederrecht

Introduces OCP-treewidth, a structural parameter that unifies tractable cases of Maximum Independent Set.

Paper ↗arXiv ↗

2025Preprint

Directed Treewidth Is Closed under Taking Butterfly Minors

Gunwoo Kim, Meike Hatzel, and Stephan Kreutzer

Revisits equivalent notions of directed treewidth and identifies formulations that behave well under butterfly minors.

arXiv ↗

Talks

22AUG2025

Contributed talk

Unifying Islands of Tractability for Maximum Independent Set

2025 Korean Student Combinatorics Workshop
Gyeongju, South Korea

Talk details ↗

Questions, ideas, collaborations

Let’s talk about graphs.

gunwoo.kim@kaist.ac.kr ↗