Ivan Di Liberti
Om Ivan Di Liberti
Roles: Biträdande lektor in Logic. Coordinator of the Master in Logic.
Scientific coordinates: Logic Group. Personal webpage.
Research keywords: category theory, categorical logic, doctrines, (2‑)toposes, sketches, accessible and locally presentable (2‑)categories, semantics of type theory, formal category theory.
Short bio: I did my PhD in Mathematics in Brno (2017-2020) specialising in category theory and mathematical logic. Most of my work from those days concerned syntax-semantics dualities for classes of structured sets, formal model theory and formal category theory. Since then, I held postdoctoral positions in Prague (2020-2021) and Stockholm (2022-2023). My scientific interests progressively shifted from semantics to syntax. Topic-wise I started working on topos theory and semantics of dependent types. Finally, in late 2023 I landed in Gothenborg University as a postdoc, and since early 2025 I became assistant professor in the Logic Group.
Teaching: You can catch me teaching in our Master in Logic one of the courses below.
- Set Theory (LOG111)
- Model Theory (LOG211)
- Category Theory (LOG350)
- Functorial Semantics (LOG390)
- Topos Theory (LOG380)
- Semantics of Type Theory