I am a logician. My primary interests revolve around proof theory, algebraic logic, and the philosophy of logic and mathematics, particularly constructive reasoning.
I hold with dual Ph.D. degrees in Mathematics from the University of Trento and in Philosophy, Arts and Society from the University of Helsinki. Additionally, I hold the title Doctor Europaeus.
I’m one of the organisers of the PACM∧N workshop, which was held in March 2024 in Verona. A second edition is also being organised to take place possibly in Rome in 2025.
My Erdős number is 4:
Erdős (0) → Erné (1) → Banaschewski (2) → Schuster (3) → Fellin (4)
Currently, I serve as a post-doctoral researcher in the EPICA project (Empowering Public Interest Communication with Argumentation) at the Department of Information Engineering of the University of Brescia. You can visit my institutional webpage here.
Starting from the academic year 2022/2023, I have been teaching a couple of courses at the Department of Computer Science and the Department of Biotechnology of the University of Verona. You can visit my institutional webpage here.
I previously served as a post-doctoral researcher in the Logic Group at the Department of Computer Science of the University of Verona.
Click here for a (possibly incomplete) list of my scientific publications.
In the past, I have also served as a teaching assistant both at the University of Verona and at the University of Padova. You can find a list of my activities here.
DISCLAIMER: This website is not meant to be my full Curriculum Vitae, and it may be not up-to-date.