Computational Frameworks in Homotopy Theory

Dette projekt vil undersøge grænsefladen mellem homotopiteori, et relativt ungt subfelt af matematikken hvor geometriske objekter betragtes op til deformation, og datalogi. Vi vil studere beregneligheden og beregningsmæssig kompleksitet af de grundlæggende operationer i homotopiteori, og derefter bygge systemer til at udføre hurtige beregninger i homotopiteori. Denne bevilling vil finansiere to ph.d.-studerende og en postdoc.