Algebra oriented branch of theoretical computer science
There have been recent developments in dependent type theory which relate type systems to homotopy types.

This is now a relatively small field, but there is a lot of exciting work being done right now, and potentially a lot of low hanging fruit, most notably in porting results from algebraic topology and homological algebra and formalizing the notion of higher inductive types.