- Using Lean for new research (Video)
- Practical semi-formal verification
- Chromatic cohomology of finite general linear groups
- Introduction to chromatic homotopy
- An exposition of the nilpotence theorem
- The known part of the Bousfield semiring
- Proof assistants as a routine tool (Video)
- Spaces of linear isometries
- An interesting surface of genus two
- Moduli of stable curves of genus zero: this describes results from the PhD thesis of Daniel Singh.
- Higher representations of symmetric groups: this is a short talk describing a theorem which is now old, but still interesting.
- Chromatic methods in equivariant stable homotopy
- Thoughts on toric topology: a Flash presentation from the SoMaS launch event, May 2008. Click the blue triangle repeatedly to work through the presentation.
- Symmetric powers of spheres: a Beamer presentation from the 2007 Abel symposium in Oslo. Press the space bar repeatedly to work through the presentation.
- Thom's cobordism theorem: PDF or Maple worksheet. The Maple version has rotatable pictures and animations, but you need a recent version of Maple to read it. This talk is from the 2005 Prospects in Mathematics meeting in Durham.
- Elliptic cohomology: scanned handwritten slides from the 2003 British Mathematical Colloquium in Birmingham.
- Stable homotopy: scanned handwritten slides from the 2003 University of Wales Intercollegiate Colloquium in Mathematics.
- A presentation on Computer graphics in teaching
- A presentation on Teaching with Maple