Professore Associato di logica matematica presso il Dipartimento di Matematica Giuseppe Peano dell’Università degli Studi di Torino.