Research
Research Interests
My training and primary interests are in Homotopy Theory and
(Higher) Category Theory. I became interested in surprising
links between Algebraic Topology and Logic, especially Type
Theory, which led me to Homotopy Type Theory (HoTT).
Research Work
My current occupations as a first-year PhD student are:
-
Understanding and studying Higher Category Theory using HoTT
language, or similar logical framework.
-
I am also keen to learn about higher semantic models of
HoTT, and more generally about higher
topos/categories logic.
-
Have a better understanding of the links between
Homotopy/Higher Category Theory and HoTT.
-
I am also interested in the "HoTT eating itself" question.
