- Nonexistence of colimits in naive discrete homotopy theory
- Calculus of fractions for quasicategories
- 2024 Spring Southeastern Sectional Meeting, Florida State University, March 2024
- Canadian Mathematical Society Winter Meeting, Montreal, Quebec, December 2023
- Geometry, Topology and Physics seminar (online), NYU Abu Dhabi, October 2023
- Algebraic Topology seminar, UCLA, March 2023
- Hurewicz theorem in Discrete Homotopy Theory
- Cubical setting for discrete homotopy theory
- Geometric, Algebraic, and Topological Combinatorics , Mathematisches Forschungsinstitut Oberwolfach, December 2023
- Math & Statistics Colloquium, Reed College, April 2023
- Algebraic & Geometric Topology Seminar, University of Nevada-Reno, April 2023
- AIM Workshop: Discrete and Combinatorial Homotopy Theory, March 2023
- Berkeley Seminar, Topos Institute, November 2022 [YouTube]
- AMS Fall Eastern Sectional Meeting, University of Massachusetts Amherst, October 2022
- Ontario Combinatorics Workshop, University of Waterloo, August 2020 [slides]
- Formalizing 2-adjoint equivalences in homotopy type theory
- Western Homotopy Theory seminar, August 2020 [YouTube]
- Formal verification of mathematics
- Canadian Undergraduate Mathematics Conference, August 2020 [YouTube]
