2026∞-categories — mini-course (Summer School on Homotopy Colimits, Regina)
2026Computing persistent homology revisited, revisited (ICERM)
2026Categorical approach to modularity (NITMB)
2025An invitation to discrete homotopy theory (AATRN Network Seminar)
2025Invitation to discrete homotopy theory (Brown CS Theory Seminar)
2023Calculus of Fractions for Quasicategories (NYU Abu Dhabi)
2023Higher-dimensional calculus of fractions (Topos Institute)
2021Cubical setting for Discrete Homotopy Theory (Topos Institute Colloquium)
2020Cubical models of (∞,1)-categories (Purdue Topology Seminar)
2020Homotopy Type Theory and Internal Languages of Higher Categories (MSRI)
2020Homotopy coherent nerve and straightening, cubically (MSRI)
2020Introduction to Cubical Sets (MSRI)
2017Type Theory and Higher Categories (Isaac Newton Institute)
2014Type Theory and Locally Cartesian Closed Quasicategories (HoTT Workshop, Oxford)
2012The Simplicial Model of Univalence (Institute for Advanced Study)