Home

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.


A 3D model of a 3-atomic Boolean Algebra getting quotiented into a 2-atomic Boolean Algebra getting quotiented into a degenerate Boolean Algebra (0=1).