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

  • Logic (COMP2620/6262/PHIL2080)

    Since 2021 I am 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 enture second half of the course. In 2022 he's not a convenor anymore but continues to lecture the second half.

  • Foundations of Computing (COMP1600/6260)

    I am the sole convenor of this course in 2022. This mandatory first-year Bachelor course runs every Semester 2 and usually has about 500 students.

Lecturer for Courses

  • Algorithms (COMP3600/6466)

    In 2021 I delivered 3 weeks (25%) of the Algorithms course, convened by Hanna Kurniawati. (Formally, I'm the second examiner.)

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.