Computational Frameworks in Homotopy Theory

This project will investigate the interface between homotopy theory, a relatively young subfield of mathematics where geometric objects are considered up to continuous deformation, and computer science. We will study the computability and computational complexity of the basic operations of homotopy theory, and then build systems for performing fast calculations in homotopy theory. The grant will fund two Ph.D. students and one postdoc.