Marianna Girlando

I am a postoctoral reasearcher at Inria, centre Saclay - Île-de-France and Laboratoire d'Informatique LIX, where I work under the supervision of Lutz Straßburger in the Partout team.

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).

Curriculum Vitae - My full curriculum is available here:
CV in English (last update: 2/03/2020)
CV in French (last update: 2/03/2020)

Publications

Uniform labelled calculi for conditional and counterfactual logics
joint work with Sara Negri and Giorgio Sbardolini
Proceedings of Wollic 2019 (doi, HAL)

Nested sequents for the logic of conditional belief
joint work with Björn Lellmann and Nicola Olivetti
Proceedings of JELIA 2019 (doi, HAL)

Counterfactual logics: labelled and internal calculi, two faces of the same coin?
joint work with Sara Negri and Nicola Olivetti
Proceedings of AIML 2018 (doi, HAL)

Conditional beliefs: from neighbourhood semantics to sequent calculus
joint work with Sara Negri, Nicola Olivetti and Vincent Risch
Review of Symbolic Logic, 2018 (doi, HAL)

Hypersequent Calculi for Lewis’ Conditional Logics with Uniformity and Reflexivity
Joint work with Björn Lellmann, Nicola Olivetti and Gian Luca Pozzato
Proceedings of TABLEAUX 2017 (doi, HAL)

Standard Sequent Calculi for Lewis’ Logics of Counterfactuals
Joint work with Björn Lellmann, Nicola Olivetti and Gian Luca Pozzato.
Proceedings of JELIA 2016 (doi, HAL)

The logic of conditional celief: neighbourhood semantics and sequent calculus
Joint work with Sara Negri, Nicola Olivetti and Vincent Risch
Proceedings of AIML 2016 (doi, HAL)

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).


Thesis

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


Software

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)


Courses 2019-2020

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.


Courses 2018-2019

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.


Courses 2017-2018

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.

My email address is:
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
91120 Palaiseau
France