Research interests [interest]

I am a homotopical flavoured algebraic geometer. In concrete sense, I am interested in motivic homotopy, algebraic $K$-theory, arithmetic cohomology and geometry and manifold calculus.

Currently, I am thinking about the rigidity of $p$-completed motivic homotopy category, using logarithmic techniques. This is the incarnation of a huge program relating $p$-adic geometry and homotopy theory, I suggest looking at Jacob Lurie’s ICM talk.

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.