I’m a logician, holding a double PhD in Mathematics (University of Trento) and in Philosophy, Arts and Society (University of Helsinki). I also hold the title Doctor Europaeus. My main interests are Proof Theory, Algebraic Logic and the Philosophy of Logic and Mathematics, especially Constructive Reasoning.

My Erdős number is 4:
Erdős (0) → Erné (1) → Banaschewski (2) → Schuster (3) → Fellin (4)

I’m currently a Post-Doctoral Researcher within the Logic Group at the Department of Computer Science of the University of Verona. Click here to visit my institutional webpage.

My project is officially titled “Logica modale mediante calcoli alla Gentzen per il calcolo dell’infinito potenziale in matematica e per un trattamento mediante modalità dei metodi transfiniti di dimostrazione”.
Click here for a (possibly incomplete) list of scientific publications.

During A.A. 2022/2023, I’m teaching a couple of courses at the University of Verona:
Matematica e Statistica
Advanced Course in Foundations of Mathematics
In the past, I’ve also been a Teaching Assistant, click here for a list of past activities.

DISCLAIMER: This website is not meant to be my full Curriculum Vitae, and it may be not up-to-date.