As a mathematician, I’m mainly interested in type theory, homotopy type theory and constructive mathematics.
I got my PhD in 2019 at Università degli Studi dell’Insubria, with the dissertation Semantics for Homotopy Type Theory.
Then, I spent a year as a postdoctoral researcher at the Carl Friedrich von Weizsäcker Center of the University of Tübingen.
Currently I’m teaching math at the high school IIS Jean Monnet.
Curriculum vitae (September 2021)