Talks and notes

Talks

• 20 Aug 2026 Robo / Scribble: a game for learning Lean 4
  Final presentation, AI for Math Fellowship, Renaissance Philanthropy · slides
• 2 Jul 2026 Formalizing Formal Group Laws
  Bridging Lean and LMFDB, University of East Anglia, Norwich · slides
• 22 Apr 2025 Brauer groups and the period–index theorem
  Graduate Seminar on Algebraic Geometry, Universität Bonn
• 14 Jan 2025 Affine Hecke algebras
  Graduate Seminar on Advanced Algebra, Universität Bonn
• 3 Dec 2024 Complex geometry and Hodge theory
  Graduate Seminar on Algebraic Geometry, Universität Bonn

Notes

Nothing to list yet.