Maximilian Petrowitsch
I am a PhD at student at Western University interested in (higher) category theory, logic, 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.
My main interest is using category theory to study models and the semantics of various logical systems. Recently, I have been 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.
