website picture

I’m a research fellow in KIAS (Korea Institute for Advanced Study).
I'm studying algebraic combinatorics and related topics. Also, I'm interested in machine learning and formalizing mathematics.

Here is my CV.