Matricola dell’annata 1979/80, si è laureato in Filosofia nel 1982 con una tesi in Logica dal titolo “Modelli non Standard dell’Aritmetica”, relatore il prof. Sergio Galvan. Successivamente ha conseguito il Ph.D. (Dottorato di ricerca) presso la Stanford University.

Attualmente insegna Filosofia presso la University of California di Berkeley (USA), dove è direttore dell’Istituto di logica e metodologia della scienza. Membro del CNRS di Parigi, è stato visiting professor in diverse università europee, tra cui Pisa, Oxford e Berlino.

La sua attività scientifica riguarda in particolare alla filosofia della matematica (anche nella storia), alla logica e alla logica matematica. Ha all’attivo diverse pubblicazioni sulla filosofia della pratica matematica, compresa la spiegazione matematica, lo stile di matematica, il ragionamento diagrammatico e la visualizzazione in matematica, e la purezza dei metodi.