Research
I have worked with the Logic Group at the University of Verona and on the EPICA project at the University of Brescia. Browse publications, preprints and my Ph.D. thesis.
View publicationsI study logic and its connections with mathematics, philosophy and computation.
My interests include proof theory, algebraic logic, philosophy of logic and mathematics, and constructive reasoning. I hold Ph.D. degrees from the University of Trento and the University of Helsinki and the title Doctor Europaeus.

Research, teaching and academic events — gathered in one place.
I have worked with the Logic Group at the University of Verona and on the EPICA project at the University of Brescia. Browse publications, preprints and my Ph.D. thesis.
View publicationsUniversity courses, foundations of mathematics, mathematical logic, summer schools, and previous work as a teaching assistant.
View teachingConference organisation, workshops, and the Logic Seminar Verona — including PACM∧N and Pollinating Syntax.
View eventsA small chain connecting generations of mathematical collaboration.

I also design illustrated card decks and Elementa, a game inspired by Tarot and the five elements of Wu Xing.
Discover the decksNote: This website is not intended as a complete CV, and some details may not always be up to date.