**Nonexistence of colimits in naive discrete homotopy theory****Calculus of fractions for quasicategories****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]