I am a theoretical computer scientist enrolled in the M.S./Ph.D. integrated course in Yonsei University. Since March 2022, I am a member of the Theory of Computation lab under the supervision of professor Yo-Sub Han.

Research Interests

My main research interest lies in (but not confined to) solving algorithmic problems for strings and finite state machines. On the one hand, I am interested in designing efficient algorithms for pattern matching problems under various string equivalences, such as the Simon’s congruence. On the other hand, I am also interested in decidability problems for strings and formal languages.

News

• [Mar. 2026] The journal paper “Matching Patterns with Variables under Simon’s Congruence” is accepted for publication!
• [Nov. 2025] The journal paper “Approximate Cartesian Tree Pattern Matching” is published in Theoretical Computer Science!
• [Sep. 2025] The journal paper “Existential and Universal Width of Alternating Finite Automata” is published in Information and Computation!

Personal

• Feb. 2026: I hit a 1000 day streak on Duolingo!
• I am a punny guy but these Korean jokes don’t translate to English very well.

Last updated: 2026 March