Alex Wilkie is a mathematician, renowned for his contributions to model theory and logic. He has focused his research on studying classes of mathematical structures using mathematical logic. His findings have applications in both number theory and analysis.
Alex was able to solve an important mathematical question known as Tarski’s high school algebra problem in 1980. He now combines different mathematical techniques to establish fundamental finiteness theorems. He has held key positions at several notable institutions, including the University of Oxford, Yale and Université Paris VII.
In 2007, Alex was appointed to the Fielden Chair in Pure Mathematics at the University of Manchester, and in 2010 he was elected President of the Association for Symbolic Logic (ASL). His work is distinguished by prestigious awards, including being the joint recipient of both the 1993 and the 2014 Carol Karp Prize mdash; the highest award to be presented by the ASL.
Emeritus Research Fellow, Mathematical Institute, University of Oxford Professor Emeritus, Department of Mathematics, University of Manchester