Let X_1 and X_2 be finite graphs with isomorphic universal covers.
Leighton's graph covering theorem states that X_1 and X_2 have a common finite cover.
I will discuss recent work generalizing this theorem and how myself and Sam Shepherd have been applying it to rigidity questions in geometric group theory.