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.

---

RESEARCH

Currently, I serve 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. You can find a list of my activities here.

---

EVENTS

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.}

---

LINKS