Profesor de lógica y epistemología en Oxford y en la Universidad de Bari.
Su investigación se centra en la lógica matemática, la teoría de la demostración y la filosofía de la matemática. Ha publicado varios artículos en revistas especializadas y ha participado en congresos internacionales de lógica y filosof