I will give an overview of homotopy type theory (HoTT), a field combining abstract homotopy theory with dependent type theory. I will then explain the problem of computing homotopy groups of spheres and how it relates to homotopy type theory.