Logic Seminar Verona – Home
Description: 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…
Roberta Bonacina
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 .
Logic Seminar Verona – Home