Maximilian Petrowitsch
I am a PhD at student at Western University interested in (higher) category theory, logic and type theory and homotopical algebra. My supervisor is Chris Kapulkin. I obtained an MSc in Mathematics from Western and an MA in Philosophy from Università della Svizzera italiana, Lugano, Switzerland. Druing my MA, I was also an exchange student at the Master in Logic at the ILLC in Amsterdam, Netherlands.
Currently, I am working on the interpretation and semantics of homotopy type theory (HoTT) in ∞-categories. Part of my research is developing a semantic framework for HoTT in elementary ∞-toposes.
I run and climb.
