Decision Problems for Groups Survey and Reflections -- The Word Problem for Solvable Groups and Lie Algebras -- Solution of the Conjugacy Problem in One-Relator Groups -- A Tour Around Finitely Presented Infinite Simple Groups -- The Geometry of Finitely Presented Infinite Simple Groups -- The Geometry of Rewriting Systems: A Proof of the Anick-Groves-Squier Theorem -- Combings of Groups -- Automatic Groups and Amalgams โ{128}{148} A Survey -- Dehn Functions and l1-Norms of Finite Presentations -- Problems on Automatic Groups