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).
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics
joint work with Sara Negri and Nicola Olivetti
Accepted for publication (HAL preprint)
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 (webpage)
Joint work with Lutz Straßburger
MOILab: a prototype theorem prover for intuitionistic modal logic IK based on labelled sequents (webpage)
Joint work with Marianela Morales
tuCLEVER: a theorem prover for the strongest Lewis' conditional logics based on hypersequents (webpage)
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 (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)
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.
Résponsable du cours: 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.
Résponsables du cours: 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