Maximilian Petrowitsch
I am a PhD at student at Western University interested in (higher) category theory, logic, type theory, homotopical algebra, topological data analysis and machine learning. 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 woking on a project in topological data analysis and topological deep learning using methods from algebraic topology to study data sets with higher dimensional topological structures.
In my most recent project in category theory, I am studying models and the semantics of various logical systems, 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 am also interested in formalisation, autoformalisation and automated theorem proving, in particular using methods from machine leraning.
I run, cycle, and climb.
