I’m a logician. My main interests are Proof Theory, Algebraic Logic and the Philosophy of Logic and Mathematics, especially Constructive Reasoning.

I’m currently a Post-Doctoral Researcher within the Department of Computer Science at the University of Verona, within the project “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”.

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