James Wilkie : Previously reader in mathematical logic at the university of oxford.