 In 1980 Wilkie solved Tarski's high school algebra problem.In October 1982 Wilkie was appointed as a research fellow in the department of mathematics at the University of Paris VII, then returned to England the following year to take up a three-year SERC (now EPSRC) advanced research fellowship at the University of Manchester.After two years he was appointed lecturer in the Department of Mathematics.