I am a Research Fellow at the Scuola Normale Superiore in Pisa, Italy, where I am part of the Knowledge Discovery and Data Mining Laboratory (KDD Lab), mostly involved in the FAIR – Future Artificial Intelligence Research - research project. I was a researcher at the CINI (Consorzio Interuniversitario Nazionale per l’Informatica) on the European project TAILOR - Foundations of Trustworthy AI, Integrating Reasoning, Learning and Optimization. I obtained my PhD at the University of Siena, Italy, being part of the Siena Artificial Intelligence Laboratory (SAILab) in 2019 under the supervision of Prof. Marco Maggini and Prof. Marco Gori. I obtained both the Bachelor and Master degrees in Mathematical Logic at the University of Siena, Italy.
My research interests mainly focus on methodologies to integrate Mathematical Logic theories and Machine Learning techniques. In particular, I am interested in Neural-Symbolic approaches where the domain of discourse includes relational structures expressed by logical constraints, possibly under vague and uncertain conditions, and in the investigation of interpretable by-design AI models, as well as Explainable AI techniques.
2024—ongoing: Research fellow on FAIR project, Scuola Normale Superiore, Pisa
Main activities: study and development of methods and technologies of machine learning, sustainable and transparent artificial intelligence systems, and their application in contexts such as finance, health, human mobility and the dissemination of information; orgnization and dissemination at international workshops and conferences.
2021—2024: II° level researcher on TAILOR project, Consorzio Interuniversitario Nazionale per l'Informatica, Roma
Main activities: research and software development on systems and benchmarks related to the integration of learning and reasoning on Knowledge Graphs, Explainable AI and Neural-Symbolic models; organization of thematic workshops and dissemination at international workshops and conferences.
2019—2021: Research fellow on SUMA project, Department of Information Engineering and Mathematics, University of Siena
Main activities: study and design of the architecture of the information and communication environment (aic) for the SUMA system management.
2015—2019: PhD in Information Engineering and Science, Department of Information Engineering and Mathematics, University of Siena
Main activities: study and implementation of software systems to integrate machine learning models and mathematical logic theories. Formulation of learning theories according to prior knowledge expressed by logic formulas. Applications to classification problem, logic inference and image generation. Thesis in Mathematical Logic and Machine Learning "On the Integration of Logic and Learning".
2011—2014: Master’s degree in Mathematics, Department of Information Engineering and Mathematics, University of Siena
Thesis in Mathematical Logic "Logiche costruttive e logiche paraconsistenti".
2007—2011: Bachelor’s Degree in Mathematics, Faculty of Mathematical, Physical and Natural Sciences, University of Siena
Thesis in Mathematical Logic "L'eliminazione della regola del taglio e logiche proiettive".
2002—2007: Accounting Programmer, Commercial technical institute Roncalli-Sarrocchi