What follows is a list of talks I've given, in reverse-chronological order.

- 32.
**Algebraic models of dependent type theory**— slides

*Workshop on Homotopy Type Theory / Univalent Foundations 2018, University of Oxford, 2018-07-07.* - 31.
**An infinite descent into pure mathematics**— slides

*GSS Mini-Conference, Carnegie Mellon University, 2018-04-10.* - 30.
**Algebraic models of dependent type theory**— slides

*HoTT MURI meeting, Carnegie Mellon University, 2018-03-24.* - 29.
**An infinite descent into pure mathematics**— slides

*Algebra, Combinatorics and Geometry Graduate Student Research Seminar, University of Pittsburgh, 2018-03-01.* - 28.
**Algebraic structures from dependent type theory**

*Algebra, Combinatorics and Geometry Seminar, University of Pittsburgh, 2018-03-01.* - 27.
**Formalisation or: How I Learned To Stop Worrying and Love the Computer**— slides — video

*Graduate Student Seminar, Carnegie Mellon University, 2018-01-30.* - 26.
**Type theory and polynomial monads**— slides

*CT Octoberfest 2017, Carnegie Mellon University, 2017-10-28.* - 25.
**Polynomials, representability and dependent type theory**(informal thesis prospectus) — notes

*Homotopy Type Theory seminar, Carnegie Mellon University, 2017-09-22.* - 24.
**Seven trees in one: a very explicit tale**

*Graduate Student Seminar, Carnegie Mellon University, 2017-09-19.* - 23.
**Natural models and tricategories of polynomials**— notes — slides

*HoTT MURI meeting, Carnegie Mellon University, 2017-03-24.* - 22.
**Locally cartesian closed categories**— notes

*80-814 Categorical Logic, Carnegie Mellon University, 2017-03-01.* - 21.
**Categories of natural models of type theory**

*Homotopy type theory seminar, Carnegie Mellon University, 2016-09-30.* - 20.
**Making sense of abstract nonsense**— video

*Graduate Student Seminar, Carnegie Mellon University, 2016-11-15.* - 19.
**Engaging students in mathematics through active learning**— video

*Teaching and Learning Summit, Carnegie Mellon University, 2016-10-14.* - 18.
**Categories of natural models of type theory**— slides

*International Category Theory Conference 2016, Dalhousie University, 2016-08-12.* - 17.
**Categories of natural models of type theory**— slides

*ASL Logic Colloquium 2016, University of Leeds, 2016-08-04.* - 16.
**What is structure?**

*CMU Math Club, Carnegie Mellon University, 2016-01-27.* - 15.
**Structure, species and stuff**— notes — video

*Graduate Student Seminar, Carnegie Mellon University, 2016-01-19.* - 14.
**It's getting HoTT in here**

*Graduate Student Seminar, Carnegie Mellon University, 2015-04-23.* - 13.
**Report from the Oxford HoTT workshop**— notes — videos

*Homotopy Type Theory seminar, Carnegie Mellon University, 2014-11-13.* - 12.
**Introduction to topological data analysis**— slides — video

*Graduate Student Seminar, Carnegie Mellon University, 2014-10-14.* - 11.
**A cornucopia of operadic curiosities**

*Graduate Student Seminar, Carnegie Mellon University, 2014-04-16.* - 10.
**Homotopy limits and colimits***(5 talks)*

*Proseminar on stable homotopy theory, University of Pittsburgh, 2014-03-28 — 2014-04-26.* - 9.
**Review of category theory***(2 talks)*— notes

*Proseminar on stable homotopy theory, University of Pittsburgh, 2014-01-17 and 2014-01-24.* - 8.
**Presentation of Lawvere's paper,**— paper — blog post*An elementary theory of the category of sets*(1964)

*Kan Extension Seminar, 2014-01-06.* - 7.
**Cubical sets***(2 talks)*— notes

*Homotopy Type Theory seminar, Carnegie Mellon University, 2013-11-21 and 2013-12-05.* - 6.
**Hairy balls and ham sandwiches**— notes

*Graduate Student Seminar, Carnegie Mellon University, 2013-11-14.* - 5.
**Adjunctions! Everywhere!**— notes

*Graduate Student Seminar, Carnegie Mellon University, 2013-09-19.* - 4.
**Permutation models, topological groups and Ramsey actions**— notes

*"Making whoopee", University of Cambridge, 2013-06-27.* - 3.
**Permutation models of set theory from topological groups**— notes

*Part III Seminar Series, University of Cambridge, 2013-03-15.* - 2.
**Making the axiom of choice fail**

*Part III Seminar Series, University of Cambridge, 2012-11-28.* - 1.
**Boolean-valued models and forcing***(2 talks)*— notes

*Fraenkel–Mostowski models reading group, University of Cambridge, 2012-11-12 and 2012-11-26.*