After an introduction to linear and nonlinear harmonic maps we begin discussing the quantitative stratification theory of solutions. The goal is to work our way up to the rectifiable structure and finite measure estimates for singular sets, as well as applications including Schauder type estimates in the nonlinear setting.