Home

About me

I’m a mathematician, mainly interested in type theory, homotopy type theory and constructive mathematics.

I got my PhD in 2019 at Università degli Studi dell’Insubria, under the supervision of Marco Benini, with the dissertation Semantics for Homotopy Type Theory.
Currently I’m a postdoctoral researcher at the Carl Friedrich von Weizsäcker Center of the University of Tübingen.

Contact
r.bonacina92@gmail.com
roberta.bonacina@osteuropa.uni-tuebingen.de