Education
2015-2018
Ph.D. in Computer Science and Computational Mathematics. University of Insubria, Italy.
Thesis title: Sequences of refinements of rough sets: logical and algebraic aspects.
(Ph.D. dissertation was accepted for publication in the journal “Transactions on Rough Sets”, Springer).
Supervisor: Professor Brunella Gerla.
2010-2012
Master's Degree in Mathematics, University of Salerno, Italy. Final mark: 110/110 cum laude.
Thesis title: La Congettura di Vaught per le algebre di Boole e le MV-algebre
(Eng: The Vaught Conjecture for Boole algebras and MV- algebras).
Advisor: Professor A. Di Nola, Co-Advisor: Professor G. Lenzi.
2007-2010
Bachelor's Degree in Mathematics, University of Salerno, Italy. Final mark: 110/110 cum laude.
Thesis title: L’eliminazione dei quantificatori: teoria ed esempi
(Eng: Elimination of quantifiers: theory and examples).
Advisor: Professor A. Di Nola, Co-Advisor: Professor G. Lenzi.
2002-2007
High school Diploma, Liceo Scientifico, Final mark: 100/100.
OTHER QUALIFICATIONS
09/06/2023
Abilitazione Scientifica Nazionale, Seconda Fascia, 11/C2, LOGICA, STORIA E FILOSOFIA DELLA
SCIENZA.
23/01/2023
Abilitazione Scientifica Nazionale, Seconda Fascia, 01/A1, Logica matematica e matematiche complementari.
15/06/2021
Abilitazione all’insegnamento nella scuola secondaria di secondo grado. Classe di concorso: Matematica (A026).