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

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)

find me