Frank Garside (he doesn't have a wikipedia page but he has this https://en.wikipedia.org/wiki/Garside_element) was responsible for solving the conjugacy problem in the braid group, and then became the mayor of Oxford.