# 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