University of Cambridge
University Lecturer
The University of Edinburgh
Research assistant
University of Cambridge
Assistant Director of Research, University of Cambridge
TU München
Distinguished Affiliated Professor for Logic in Informatics
University of Cambridge
Reader in Computational Logic
University of Cambridge
Professor of Computational Logic
California Institute of Technology
Stanford University