Maximilian Petrowitsch
I am a PhD at student at Western University interested in (higher) category theory, logic and type theory and homotopical algebra. My supervisors are Chris Kapulkin (Department of Mathematics) and John Bell (Department of Philosophy). I obtained a MSc in Mathematics from Western and an MA in Philosophy from Università della Svizzera italiana, Lugano, Switzerland.
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.
