Fa parte del Gruppo di logica matematica del Dipartimento di Matematica e Informatica dell’Università di Camerino. La sua principale attività di ricerca riguarda principalmente la Teoria dei Modelli e le sue applicazioni all’Algebra.
I castori sanno calcolare meglio degli esseri umani? C'è una funzione che solo i migliori roditori sembra che sappiano computare. Le difficoltà che nascono a cercare di imitarli. Ed è solo l'inizio…