To clarify the terminology: The convenor is the person in charge of the entire course, i.e., officially responsible for all the organization. The lecturer, if any, is "only" delivering certain lectures. Normally, the convenor delivers the majority of the lectures, if not all.
Ordered chronologically backwards, i.e., newest first.
2023: Theory of Computation (COMP3630/6363)
From 2023 onwards I will be the sole convenor of this course. It's a third-year course offered in S1 with usually a very low number of students (below 50).
2022: Foundations of Computing (COMP1600/6260)
I am the sole convenor of this course in S2 2022. This mandatory first-year Bachelor course runs every Semester 2 and usually has between 400 and 500 students. Note however that the course will (likely) undertake a huge restructuring in 2023. So although the course keeps being offered beyond 2022, its content will essentially completely change from 2023 onwards (which is why somebody else will take it over). I did however get supported by Dirk Pattinson who took 4 lectures (1 week plus lecture) and Michael Norrish, who took 3 weeks (12 lectures).
2021-2022: Logic (COMP2620/6262/PHIL2080)
In 2021 and 2022 I was the convenor of this course. This second-year Bachelor course runs every Semester 1 and usually has about 400 students. It's not mandatory but a requirement for the AI course.
In 2020 I was the second examiner and supporting the course with tutoring and marking. In 2021 Yoshihiro (Yoshi) Maruyama was a co-convenor of the course, and the taught the entire second half of the course. In 2022 he was not a convenor anymore but continued to lecture the second half.
2020, 2022: Algorithms (COMP3600/6466)
In 2021 I delivered 3 weeks (25%) of the Algorithms course, convened by Hanna Kurniawati. Formally, I was the second examiner. Again in 2023 I joined as second examiner (and will likely also give lectures), where I will support the (new) convenor Ahad N. Zehmakan.
Guest lecture AI in Games in the course Structured Programming (COMP1110)
Guest lecture Theoretical Research Methods ... Illustrated in AI Planning in the course Advanced Computing R&D Methods (COMP2550/4450/6445), convened by Jochen Renz. Delivered in S1 2020. Slides.
Guest lecture Hands-on Introduction to Classical Planning in the Canberra Computer Science Enrichment course. That's a course for high school students being interested in University teaching and research.