Marianna Girlando

Welcome to my webpage!

I work as Assistant Professor at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.

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

As a postdoc, I was a Marie Skłodowska Curie Fellow at the ILLC, where I worked under the supervision of Yde Venema and Bahareh Afshari. My project, CYDER (CYclic DErivations for Recursive operators) was about the definition of cyclic proof systems within the framework of proof systems extending the Gentzen-style sequent calculus.

Previously, I was a Research Fellow in Proof Theory at the School of Computer Science of the University of Birmingham. I worked 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.

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.

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 upon request.