Type theory and homotopy theory are two interconnected areas of mathematical logic and topology that have gained significant attention in recent research. Type theory serves as a foundation for ...

Homotopy theory is a branch of mathematics that studies topological spaces and their properties through the concept of homotopy, which is a way of transforming one function into another.

I am an algebraic topologist and a stable homotopy theorist. I study chromatic homotopy theory and its interactions with equivariant homotopy theory. I also work with condensed matter physicists to ...