The study of affine Deligne-Lusztig varieties originally arose from arithmetic geometry, but many problems on affine Deligne-Lusztig varieties are purely Lie-theoretic in nature. This survey deals with recent progress on several important problems on affine Deligne-Lusztig varieties. The emphasis is on the Lie-theoretic aspect, while some connections and applications to arithmetic geometry will also be mentioned.2010 Mathematics Subject Classification. 14L05, 20G25.Affine Deligne-Lusztig varieties are schemes locally of finite type over F q . Also the varieties are isomorphic if the element b is replaced by another element b ′ in the same σ-conjugacy class.A major difference between affine Deligne-Lusztig varieties and classical Deligne-Lusztig varieties is that affine Deligne-Lusztig varieties have the second parameter: