About me

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)
Contact
r.bonacina92@gmail.com