University of Birmingham

• Functional Programming
  An 2nd year undergraduate module introducing students to functional programming in Haskell.
• Advanced Functional Programming
  A 3rd year undergraduate module which studies dependent types as developed in the proof assistant Agda.
• Computer Science Project
  Since 2024, I have served as the Undergraduate Project Coordinator, running the final year project in computer science

Midlands Graduate School

• Homotopy Type Theory
  MGS 2023
• Topos Theory
  MGS 2022