This website is currently in development.

The University of Queensland · COMP3400

Functional and Logic Programming

Helping students move from imperative programming to recursion, induction, functional abstractions, and logic.

I taught COMP3400 in Semester 1 2026, guiding students as they moved from imperative programming toward functional and logic programming.

Practicals used Haskell to develop recursive problem-solving, induction, higher-order abstractions, and a clearer understanding of computational models. I delivered classes, helped students work through unfamiliar ways of structuring programs, and provided constructive assessment feedback.