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 (per year)

Below, I lay out my teaching duties per year.

  • 2027:
    • (most likely) S1: Theory of Computation (COMP3630/6363): I will be the sole convenor and lecturer.
    • S2: to be decided.
  • 2026:
    • S1: Theory of Computation (COMP3630/6363): I was the sole convenor and lecturer.
    • (most likely) S2: nothing! Teaching relief due to my DECRA'24
  • 2025:
    • S1: Theory of Computation (COMP3630/6363): I was the sole convenor and lecturer.
    • S2: nothing! Teaching relief due to my DECRA'24
  • 2024:
    • S1: nothing! Teaching relief due to my DECRA'24
    • S2: Foundations of Computing (COMP1600/6260): I was the co-convenor (50%) and also taught half the course (6 weeks)
  • 2023:
    • S1: Theory of Computation (COMP3630/6363): I was the sole convenor and lecturer.
    • S2: Algorithms (COMP3600/6466): I was the co-convenor (50%) and taught a third of the course (4 weeks)
  • 2022:
    • S1: Logic (COMP2620/6262/PHIL2080): I was the sole convenor and taught half the course (6 weeks)
    • S2: Foundations of Computing (COMP1600/6260): I was the sole convenor and taught two thirds of the course (8 weeks)
  • 2021:
    • S1: Logic (COMP2620/6262/PHIL2080): I was the main convenor (90%) and taught half the course (6 weeks)
    • S2: Algorithms (COMP3600/6466): I was the second examiner and taught a quarter of the course (3 weeks)
  • 2020:
    • I still had teaching relief since I had just joined the ANU.
    • I gave several single guest lectures, see below.

Course Convening (by Course)

  • Foundations of Computing (COMP1600/6260)

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

    • 2025: I was the sole convenor of the course. It had 60 students. Find all my slides here.
    • 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.