Philosophy, proof theory, philosophy and logic of explanation, intuitionistic and non-classical logics, computation.
Postdoc at IHPST, Université Paris 1 Panthéon-Sorbonne. I am working on the project Insights from Bolzano.
Intermediate Logics and Concurrent Lambda Calculi: A Proof-Theoretical Approach.
Supervisor: Agata Ciabattoni.
TU Wien, Vienna, Austria. 2019.
Modal logics and independence friendly logics (in Italian).
Supervisor: Giovanna Corsi.
Department of Philosophy and Communication, University of Bologna, Italy. 2013.