I am a Marie Skłodowska Curie Fellow at the ILLC of the University of Amsterdam. My research project aims at developing cyclic proofs for various kinds of modal logics with inductive operators, and I work under the supervision of Yde Venema and Bahareh Afshari.
Previously, I was a postdoctoral researcher (Research Fellow) in Proof Theory at the School of Computer Science of the University of Birmingham. I work within the UKRI project Structure vs Invariants in Proofs, under the supervision of Anupam Das.
My research interests include proof theory, modal logics, sequent calculus, cyclic proofs and deep inference. I have worked with conditional and epistemic logics. I am also interested in developing automated Prolog provers.
During the thesis I studied the proof theory of conditional logics, under the supervision of Nicola Olivetti and Sara Negri. The PhD was conducted within a cotutelle agreement between the Laboratoire d'Informatique LIS of Aix-Marseille Université and the Philosophy Department of the Faculty of Arts of the University of Helsinki. As a result, I have a double degree - computer science and philosophy - and I spent my PhD years travelling between Marseille and Helsinki, interacting with both research environments.
In the academic year 2018-2019 I had research contract at the University of Helsinki, thanks to the project Modalities and conditionals: Systematic and historical studies.
Before the PhD, I completed my Master degree in Logic, Philosophy and History of Science at the University of Florence (Italy).