I am a logician with dual Ph.D. degrees in Mathematics from the University of Trento and in Philosophy, Arts and Society from the University of Helsinki. Additionally, I hold the title Doctor Europaeus. My primary interests revolve around Proof Theory, Algebraic Logic, and the Philosophy of Logic and Mathematics, particularly Constructive Reasoning.

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

Currently, I serve as a Post-Doctoral Researcher in the Logic Group at the Department of Computer Science of the University of Verona. You can visit my institutional webpage here.

My research 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 my scientific publications.

Starting from the Academic Year 2022/2023, I have been teaching a couple of courses at the University of Verona. In the past, I have also served as a Teaching Assistant. You can find a list of my activities here.

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