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).
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 2019
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.
Chargé des TD: Perceval Pillon.
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.
marianna DOT girlando AT inria DOT fr
My office is located at:
Office #2057 Inria Saclay & LIX
Campus de l'École Polytechnique
1 rue Honoré d'Estienne d'Orves
Bâtiment Alan Turing