I taught COMP2048 in Semester 1 2026, helping students develop rigorous mathematical reasoning through formal languages, automata, Turing machines, decidability, and computational complexity.
The role involved guiding students through proof techniques and difficult theoretical problems, introducing complexity classes such as P and NP, and discussing alternative models including quantum computing. I also marked assessments and provided feedback focused on clarity and sound reasoning.