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