As Associate Director of Education within the ANU School of Computing (2022–2026), Peter combined his scientific vision with a commitment to rigorous curriculum development and educational innovation. He led the design and transformation of curricula across eight computing programs and five diplomas, supporting over 6,000 student enrolments per semester — over 10% of ANU’s total student body. He was the academic lead for the Australian Computer Society (ACS) accreditation of ANU’s computing programs, critical for students’ visa eligibility and professional practice pathways.
Peter redesigned COMP3610/6361 Principles of Programming Languages and created the new course COMP4011/8011 Advanced Topics in Formal Methods and Programming Languages (2024), offering students cutting-edge knowledge at the intersection of software verification theory and practice. He also designed and launched a New Convenor Workshop for early-career academics, a model subsequently adopted across the College of Systems and Society.
- Lectures & Courses — overview of lectures and courses since 2006