Talks

• Questions around the Chromatic Splitting Conjecture
• 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