I am a mathematician, and my research is mainly focused on categorical logic and its applications in theoretical computer science.

Currently, I am a postdoc at the Department of Computer Science of the University of Pisa in Italy. Previously, I was a postdoc at the Department of Computer Science of the University of Verona in Italy.

Interests

- Categorical Logic
- Theoretical Computer Science

Education

PhD in Mathematics, 2019

University of Trento

M.Sc in Mathematics, 2016

University of Trento

B.Sc in Mathematics, 2014

University of Modena

(2023).

A characterization of generalized existential completions.
In *Annals of Pure and Applied Logic*.

(2023).
(2022).
(2022).
The Gödel fibration.
In *46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021)*.

(2021).
(2020).
Below you can find some slides and videos of recent talks. For a complete list of talks see my curriculum.