Nato a Mantova il 25 settembre 1954, ottiene il titolo di D.Phil. in Mathematics all'Univerisità di Oxford nel 1986 con una tesi sui modelli del calcolo meccanico.
Sposato con un figlio, è professore di Logica Matematica presso la Facoltà di Scienze M.F.N. dell'Università di Genova.
È un ricercatore di rinomanza internazionale in teoria delle categorie e vanta collaborazioni con molti ricercatori di importanti università italiane e straniere, è socio corrispondente dell'Accademia Virgiliana e membro della Commissione UMI per le Olimpiadi della Matematica.
Negli ultimi quattro anni, ha progettato vari eventi culturali per la divulgazione matematica, anche progettando e allestendo mostre e laboratori interattivi. Coordina il Comitato Scientifico che ha seguito la sperimentazione, composto dal prof. Aldo Conca del DIMA, dalla d.ssa Bianca Falcidieno del CNR-IMATI e dalla prof. Orietta Pedemonte del DSA.
È il supervisore dei contenuti scientifici.
Ha pubblicato tra gli altri: Continuity and effectiveness in topoi, (1986) e Notes on Synthetic Domain Theory, 1994
