A. J. Wilkie is the Fielden Professor of Pure Mathematics at the University of Manchester. He has twice been joint winner of the Association for Symbolic Logic's Karp Prize. He is a Fellow of the Royal Society, of the American Mathematical Society and a member of Academia Europaea. Wilkie recently served as President of the Association for Symbolic Logic from 2010 to 2013.
G. O. Jones is a Researcher in the School of Mathematics at the University of Manchester.