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.
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.
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.
My Erdős number is 4:
Erdős (0) → Erné (1) → Banaschewski (2) → Schuster (3) → Fellin (4)
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.
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.
I’m one of the organisers of the PACM∧N 2024 workshop, which was held in March 2024 in Verona. A second edition, PACM∧N 2025, is also being organised to take place in Rome in May 2025.
I update the Logic Seminar Verona Website.

DISCLAIMER: This website is not meant to be my full Curriculum Vitae, and it may be not up-to-date.