Stockholm University, MathComp Group
March, 2022 - September, 2022
For my second semester of first year of Master, I will do a 6 months research internship with Anders Mörtberg. The project will be to attempt to formalize cohomology rings, in univalent synthetic mathematics in Cubical Agda