Giacomo Cozzi○

about

I am currently a PhD student in mathematical logic, working at the university of Würzburg under the supervision of Anton Freund. I am also active in doing mathematics with school students.

publications

I don't really have proper publications yet.

Topos theory and formal connections to forcing my master thesis supervised by Peter LeFanu Lumsdaine
Paper: The extremely hot and dry 2018 summer in central and northern Europe from a multifaceted weather and climate perspective paper in meteorology, coauthored during an internship

slides

23/06/2026 - Darmstadt-Würzburg logic day slides Well-ordering principles over recursive comprehension
24/04/2026 - Würzburg Logic Seminar Categorical logic and formal connections to forcing

links

math-sharing a repository with presentation slides as well as math material for kids
slice-it-right a simple game I made about slicing polygons (desktop only)
my friend's blog about go and other games

find me

uni würzburg gitlab

last updated 2026 · plain html, no frameworks