I’m a logician. My main interests are Proof Theory, Algebraic Logic and the Philosophy of Mathematics, especially Constructive Reasoning.
I’m currently affiliated with the Universities of Trento, Helsinki and Verona.
- I’m a member of the following
- Associations related to Logic:
- Associations related to Mathematics:
- Research groups:
Disclaimer: This website is not meant to be comprehensive of all my studies, let alone my full Curriculum Vitae.