John Allsup is currently finishing a PhD at The University of Birmingham in Pure Mathematics.
His studies began with investigations into properties of initial segments of models of Peano arithmetic, later gravitating towards the notion of groups internal to a model of Peano arithmetic, and classification theorems concerning such groups.