Disputation i beräkningsmatematik
Disputation
Datum: fredag 4 oktober 2024
Tid: 13.00 – 15.00
Plats: Lärosal 5, Hus 1, Albano campus, Stockholm Univ.
Max Zeuner försvarar sin doktorsavhandling i beräkningsmatematik.
Respondent: Max Zeuner
Titel: Univalent Constructive Algebraic Geometry: Foundations and Formalizations
Opponent: Peter Arndt (University of of Düsseldorf)
Handledare: Anders Mörtberg
Senast uppdaterad: 6 september 2024
Sidansvarig: Matematiska institutionen