Teaching
I have done, and continue to do some teaching assistant work at Birmingham:
Advanced Functional Programming
Spring 2024, Teaching Assistant, University of Birmingham
Functional Programming
Autumn 2023, Teaching Assistant, University of Birmingham
Theories of Computation
Spring 2023, Teaching Assistant, University of Birmingham
Mathematical and Logical Foundations of Computer Science
Autumn 2022, Teaching Assistant, University of Birmingham