Abstract: Affine Deligne-Lusztig varieties are defined as certain subschemes of affine flag varieties using Frobenius-linear algebra. They are used in arithmetic geometry to describe the reduction of Shimura varieties. Motivated by this relation, I will report on recent geometric results describing affine Deligne-Lusztig varieties, and applications.