Equations in acylindrically hyperbolic groups. Algebraic, verbal, and existential closedness

An efficient algorithm for finding a basis of the fixed point subgroup of an automorphism of a free group

Introduction to train tracks