Geometric and algorithmic group theory. Decision problems and the relation between algebraic and algorithmic behaviour of discrete groups; with special emphasis on free groups and extensions such as [free-abelian]-by-free, free-by-cyclic, or partially commutative groups.