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