È nato a Cuneo nel 1950, matematico, logico e saggista italiano. Il suo principale campo di ricerca è stata la teoria della calcolabilità, branca della logica matematica che studia la classe delle funzioni in grado di essere calcolate in maniera automatica. In tal campo ha pubblicato una trentina di articoli, e il libro in due volumi Classical Recursion Theory (North Holland Elsevier, 1989 e 1999), che è diventato un testo di riferimento sull’argomento. Oltre all’attività accademica, ha intrapreso un’attività divulgativa, iniziata con collaborazioni a vari giornali e riviste: dapprima La Rivista dei Libri, Sapere, Tuttoscienze e La Stampa, poi la Repubblica, L’espresso e Le Scienze.