Geometric and Computational Perspectives on Infinite Groups