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 $\textsf{L}\exists \forall \textsf{N}$ 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.