È professore di logica matematica all'Università di Genova. Le sue aree di ricerca sono la storia, la filosofia e la didattica della matematica e della logica. Ha pubblicato libri su vari argomeni: algebra, filosofia della matematica, geometrie non-eulidee, logica e teoria della computazione. Fa parte del consiglio editoriale di "Epistemologia", rivista di filosofia della scienza.