I am 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
My research interests include proof theory, modal logics, sequent calculus 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).
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning
joint work with Björn Lellmann, Nicola Olivetti, Stefano Pesce and Gian Luca Pozzato
Journal of Logic and Computation, 2022 (doi, pdf)
La New Logic: le strategie cognitive dell’agente individuale
Chapter in the book Introduzione alla New Logic, L. Magnani editor, Il Melangolo, Genova, 2013 (in italian).
On the proof theory of conditional logics (pdf)
Supervisors: Nicola Olivetti and Sara Negri
The thesis discussion took place in Marseille, on 08/02/2019
Prix de thèse AMU 2020
MOIN: a theorem prover for intuitionistic modal logics based on nested sequents
Joint work with Lutz Straßburger
A system description is published in the Proceedings of IJCAR 2021 (doi, pdf)
MOILab: a prototype theorem prover for intuitionistic modal logic IK based on labelled sequents
Joint work with Marianela Morales
tuCLEVER: a theorem prover for the strongest Lewis' conditional logics based on hypersequents
Joint work with Björn Lellmann, Nicola Olivetti, Stefano Pesce and Gian Luca Pozzato
A system description is published in the Prepoceedings of CICL 2020 ( doi, pdf)
VINTE: a theorem prover for Lewis' conditional logics based on nested sequents (webpage)
Joint work with Nicola Olivetti, Gian Luca Pozzato and Quentin Vitalis
A system description is published in the Proceedings of TABLEAUX 2017 (doi, HAL)
Algorithms and Complexity Teaching assistant (grading), for third year Bachelor students in Computer Science,
School of Computer Science,
University of Birmingham, february - may 2022.
Course coordinators: Rajesh Chitnis and Anupam Das.
Logique 2 Logic couse (26 hours CM) for second year Bachelor students in Philosophy.
Université Paris 1 Panthéon-Sorbonne, UFR Philosohie,
January - June 2020.
Subject: models for first order logic, natural deduction, introduction to modal logic.
Course material (in French):
Programmation 1 Exercise session (18 hours TD + 24 hours TP) for first year Bachelor students in Computer Science.
Département d'Informatique et Interactions, Aix-Marseille Université, January - June 2019.
Course coordinator: Julien Lefevre.
Subject: introduction to object-oriented programming and development of several (small) projects in Java.
Introduction à l’informatique Exercise sessions (44 hours TD) for first year Bachelor students in computer science.
Département d'Informatique et Interactions, Aix-Marseille Université, September - December 2018.
Département d'Informatique et Interactions, Aix-Marseille Université, September - December 2018. Course coordinator: Benjamin Monmenge and Antonio Enrico Porreca.
Subject: binary code, data structures (trees, graphs), algorithms on trees and graphs and finite automata.
Des jeux, des mathématiques et quelques danses (12 hours), Stage Hyppocampe IREM (scientific stage for high-school students). Under the supervision of Olivier Ramaré. Aix-Marseille Université, 03-05 December 2018. Webpage here.
Projet Algorithmique Exercise session (12 hours TD + 44 hours TP) for second year Bachelor students in Computer Science.
Département d'Informatique et Interactions, Aix-Marseille Université, January - June 2018.
Résponsable du cours: Laurent Tichit.
Subject: writing a program to represent fractals in C programming langugage.
Reconnaissance de formes (12 hours), Stage Hyppocampe IREM (scientific stage for high-school students). Under the supervision of Jean Sequeira. Aix-Marseille Université, 13-15 December 2017. Webpage here.
m DOT girlando AT bham DOT ac DOT uk