Since their popularization by Gromov in the eighties, CAT(0) metric spaces of bounded curvature as defined by Alexandrov have been the locus of great progress in infinite group theory. Surveying ideas and constructions of geometric group theory, we express a bias towards groups acting on structures of this kind. As such, swiftly acquainting the reader with the theory of CAT(0) spaces, we provide a variety of examples obtained by gluing together families of convex polyhedra along their isometric faces. In this context, Gromov's link condition provides a local-to-global framework for non-positive curvature. Combining this with tools from knot theory, such as the Dehn complex of an alternating knot projection, we demonstrate a result of Wise w...