Slides from my recent talks:

- Clifford algebras and 2D defect topological field theory, June 2017 at Tensor Categories and Field Theory (lecture notes.
- A tour of well-generated triangulated categories, May 2017 at Neeman’s 60th conference (lecture notes).
- Derivatives of proofs in linear logic (joint with James Clift), May 2017 in Melbourne (slides and transcript).
- The cobordism category, October 2016 in the TFT seminar (lecture notes).
- The Curry-Howard principle, October 2016 in the CH seminar (lecture notes).
- The category of simply-typed lambda terms, September 2016 in the CH seminar (lecture 1, lecture 2).
- Sheaves of A-infinity algebras from matrix factorisations, September 2016 at the IPMU (lecture notes).
- Generalised orbifolding, September 2016 minicourse at the IPMU (lecture 1, lecture 2, lecture 3).
- Generalised orbifolding of simple singularities, August 2016 at Geometry at the ANU (lecture notes).
- Two odd things about computation, October 2015 in Vienna and August 2016 in Melbourne (slides and transcript).
- Topological Quantum Field Theory in two dimensions, July 2016 in the TFT seminar (slides).
- Spectral sequences for vertex algebras, July 2016 in Melbourne (lecture notes).
- Linear logic and deep learning (joint with Huiyi Hu), June 2016 at the AAL in Melbourne (slides and transcript).
- A-infinity algebras and matrix factorisations, June 2016 in Banff (lecture notes and video).
- The Landau-Ginzburg/Conformal Field Theory correspondence, May 2016 in Melbourne (lecture notes).
- The super-A-polynomial and knot differentials, May 2016 in Melbourne (lecture notes).
- A-infinity algebras and minimal models [Part 1], May 2016 in Melbourne (lecture notes and screencast).
- Reading group on proof-nets, April 2016 in the Melbourne logic seminar (handout 1, handout 2 and notes).
- Stratifications and complexity in linear logic, March 2016 in the Melbourne logic seminar (slides and screencast).
- An introduction to A-infinity algebras, November 2015 in Melbourne (lecture notes).

I gave a mini-course at the IBS in Korea on topological field theory with defects, specifically the fusion of defects in topological Landau-Ginzburg models. This included several computer demos, the source for which can be found on GitHub.

- Lecture 1: 2D TFT with defects and matrix factorisations (lecture notes and video).
- Lecture 2: The bicategory of Landau-Ginzburg models (lecture notes and video).
- Lecture 3: The cut operation and computing fusions (lecture notes and video).

These lectures were made with the excellent GoodNotes for the iPad Pro.