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 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.
See also my page on the Mathematics Genealogy Project.
RESEARCH
I served as a post-doctoral researcher in the Logic Group at the Department of Computer Science of the University of Verona.
I previously served 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.
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)
TEACHING
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.
Click here to find a list of my teaching activities.
EVENTS
I’ve been in the Scientific and Organising Committee of a few conferences and workshops, including Applied Proof Theory 2022, the three editions of PACM∧N, and Taming the Infinite: Logic, Algebra, and Constructive Mathematics.
Click here for a list of events.
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.
LINKS






