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 Research Scholarship Holder within the Department of Computer Science at the University of Verona.
DISCLAIMER: This website is not meant to be my full Curriculum Vitae, and it may be not up-to-date.
