Astra works on Homotopy Type Theory (HoTT) and higher category theory. Her thesis introduced Displayed Type Theory (dTT) a multi-modal homotopy type theory with partially internal unary parametricity in which it is possible to coinductively define semi-simplicial types.

BMath University of Waterloo

MASt University of Cambridge

PhD Stony Brook University