Proof-theoretical methods for philosophy and theoretical computer science. Non-classical logics. Computational interpretations. Explanatory reasoning.
Assistant Professor (RTD-b position) at LLC (Center for Logic, Language and Cognition), Department of Philosophy and Education Siences, University of Turin.
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.