Home

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.

Contact
r.bonacina92@gmail.com