The aim of these lecture notes is to give an essentially self-contained introduction to the basic regularity theory for energy minimizing maps, including recent developments concerning the structure of the singular set and asymptotics on approach to the singular set.