Courses at the ANU

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.

Course convening

Ordered chronologically backwards, i.e., newest first.

  • Foundations of Computing (COMP3630/6363)

    • 2024: I will be the co-convenor, together with Dirk Pattinson. I will teach weeks 7 to 12.
    • 2022: In this year I was the sole convenor of this course. I did however get supported by Dirk Pattinson who took 4 lectures (1 week plus lecture) and Michael Norrish, who took weeks 4 to 6 (12 lectures). It had 406 students.
    • General info: This mandatory first-year Bachelor course runs every Semester 2 and usually has between 400 and 500 students.

  • Algorithms (COMP3600/6466)

    • 2023: I am be the co-convenor for this course. The main convenor is Ahad N. Zehmakan, but I assist him throughout the course and teach four weeks. Find all my slides here.
    • 2021: I was the second examiner and also taught three weeks.

  • Theory of Computation (COMP3630/6363)

    • 2023: I was the sole convenor of the course. It had 60 students. Find all my slides here.
    • General info: It's a third-year course offered in S1 with usually around 50 students. It teaches all foundations of complexity theory.

  • Logic (COMP2620/6262/PHIL2080)

    • 2022: I was the sole convenor of this course. Find all my slides here.
    • 2021: I was the main convenor. The co-convenor was Yoshihiro (Yoshi) Maruyama.
    • General info: This second-year Bachelor course runs every Semester 1 and usually has about 350 to 400 students. It's not mandatory but a requirement for the AI course.

Guest Lecturer for Courses

  • Guest lecture AI in Games in the course Structured Programming (COMP1110)

    • Delivered in S2 2021, convened by Steve Blackburn. Slides. Video recording.
    • Delivered in S2 2020, convened by Steve Blackburn.

  • 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.