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
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 Nicola Olivetti, Stefano Pesce and Gian Luca Pozzato
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, January - May 2020. Subject: models for first order logic, natural deduction.
Programmation 1 Exercise session (18 hours TD + 24 hours TP) for first year Bachelor students in computer science. Under the supervision of Julien Lefevre, Aix-Marseille Université, January - May 2019. Subject: introduction to OOP and writing several projects in Java language.
Introduction à l’informatique (44h), Exercise sessions (TD) for first year Bachelor students in computer science. Under the supervision of Benjamin Monmenge and Antonio Enrico Porreca. Aix-Marseille Université, September - December 2018. Subject: binary code, data structures and basic algorithms.
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 (58 hours), Exercise session (12 hours TD + 44 hours TP) for second year Bachelor students in Computer Science. Under the supervision of Laurent Tichit. Aix-Marseille Université, January - May 2018. Subject: writing a program to represent fractals in C language.
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