Präsentationen
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