Research interests [interest]

I am interested in homotopy theory, especially the motivic homotopy theory and its relation to algebraic $K$-theory, arithmetic cohomology and geometry.

I have an interest on formalizing mathematics too, in particular, algebra in LEAN and homotopy theory in HoTT. Actually, the first inspiration that guides me to study maths is type theory. My bachelor thesis is just about homotopy type theory.