She is a PhD student in Logic at the Scuola Normale Superiore.
Her research interests concern modal logics, interactive theorem provers, proof theory, computability theory, model theory, and the philosophy of mathematics.
Starting from her Bachelor’s studies in Philosophy at the University of Turin, she sought to build an educational path at the intersection of mathematics, philosophy, and computer science, also taking several courses from the Mathematics Department. In 2025, she earned her Master’s degree in Logic, Philosophy, and History of Science from the University of Florence. During her master’s studies, she attended several international summer schools (ESSLI 23, SAT/SMT/AR 24, AILA 24, EuroProofNet Natural Formal Mathematics 25, Proof and Computation 25) and presented her research work at conferences such as OVERLAY 2024, Women in Logic 2025 & FSCD 2025, and ICTCS 2025.
While studying in Florence, she took part in the HOLMS research project (HOL Light Library for Modal Systems), dedicated to the mechanisation of modal logics through the HOL Light proof assistant. Within this project, she developed her Master’s thesis, contributed to the codebase and the project website, and co-authored papers presented at the aforementioned conferences.
Her PhD project aims to further extend this work, by mechanising additional modal logics (e.g. provability and intuitionistic logics) and developing a proof-theoretic analysis within the framework.
For any interest in her work or potential collaborations, please feel free to get in touch.