Ricercatore a tempo determinato di logica matematica presso il Dipartimento di matematica “Giuseppe Peano” dell’Università degli Studi di Torino.