I am Professor of Logic at Cambridge and have been a Fellow of Fitzwilliam College since 1989. I was previously at Oxford, where I took a D.Phil. in pure mathematics and was a Fellow of Balliol College. I spent periods of research leave in the Department of Logic and Metaphysics at St Andrews and the Department of Philosophy at Harvard. In 2004 and 2005 I was on research leave from Cambridge as a Senior Research Fellow at Stirling University funded by the AHRC.