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.
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.