I am a PhD student 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 University and an MA in Philosophy from Università della Svizzera italiana, Lugano, Switzerland.
Currently, I am working on the interpretation and semantics of univalent dependent type theories in infinity-categories. Part of my research is developing a semantic framework for univalent type theories in elementary infinity toposes. These type theories are also sometimes summarised under the name ‘Homotopy Type Theory’.
I am also interested in higher category theory and homotopical algebra in general, in studying different models of infinity categories and studying model categories. On the philosophical side, I am interested in constructive mathematics.
- (Higher) Category Theory and Homotopical Algebra
- Logic and Foundations of Mathematics
- Philosophy of Mathematics
Master Thesis:
Structure, Equivalence, and Identity: Structuralism in Category Theory and Univalent Foundations
Teaching Assistant:
“Calculus I”, Winter 2025, Western University
“Methods of Matrix Algebra”, Winter 2025, Western University
“Discrete Structures for Engineering”, Fall 2024, Western University
“Basic Logic”, Fall and Winter 2023/24, Western University
“Basic Logic”, Fall and Winter 2022/23, Western University
Preprints
Talks
Elementary Infinity-Toposes from Type Theory, CMS Summer Meeting, Session: Category Theory: Structures and Applications, Université Laval, Quebec City, June 8, 2025
Elementary Infinity-Toposes from Type Theory, 32nd Foundational Methods in Computer Science Workshop, University of Ottawa, Ottawa, June 20, 2025
Nominalism and Infinite Cardinality, ic.SoAP/EENPS, Belgrade and Geneva/Lugano (Online), 2021
Formalisation projects
Integers as Higher Inductive Types, Formalisation of (Altenkirch and Scoccola 2020) in Coq,
repo 
