Marianna Girlando

I am a Marie Skłodowska Curie Fellow at the ILLC of the University of Amsterdam. My research project aims at developing cyclic proofs for various kinds of modal logics with inductive operators, and I work under the supervision of Yde Venema and Bahareh Afshari.

Previously, I was 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 Structure vs Invariants in Proofs, under the supervision of Anupam Das.

Before that, I was a postdoc at Inria, centre Saclay - Île-de-France and Laboratoire d'Informatique LIX, where I worked under the supervision of Lutz Straßburger in the Partout team.

My research interests include proof theory, modal logics, sequent calculus, cyclic proofs 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: 15/05/2023)
CV in French (last update: 25/02/2022)