Teaching

I'm a Fellow of AdvanceHE.

Papers on Education
  1. Yatapanage, N. Introducting Formal Methods to Students who Hate Maths and Struggle with Programming, Formal Methods Teaching Workshop and Tutorial, Lecture Notes in Computer Science, Vol.13122, pp.133-145, Springer-Verlag, 2021. Download from Springer.

Courses that I have taught or am currently teaching:
  • Course Convenor, COMP1100/1130 Programming as Problem Solving, ANU, Semester 1, 2023 and Semester 1, 2024.
  • Course Convenor, COMP1600 Foundations of Computing, ANU, Semester 2, 2023.
  • Lecturer, Logic for Verification, ANU Logic Summer School, ANU, 2022. See the course resources.
  • Lecturer (for 5 lectures), COMP3704 Network Security, ANU, Semester 2, 2021.
  • Module Leader (Course Co-ordinator & sole lecturer), CTEC2909 Data Structures and Algorithms, De Montfort University, Term 1 2018-2019. 240+ students.
  • Module Leader (Course Co-ordinator & sole lecturer), CTEC2910 Concurrent and Parallel Algorithms, De Montfort University, Term 2 2018-2019. 240+ students.
  • Module Leader (Course Co-ordinator & sole lecturer), CTEC2901 Data Structures and Algorithms (includes concurrency), De Montfort University, (Year-long course) 2017-2018. 200+ students.
  • Lecturer, Scientific Reasoning and Software Testing intensive week-long component of a foundation course, De Montfort University, U.K., June 2017.
  • Guest Lecturer, CSC3321 Understanding Programming Languages, Newcastle University, U.K.,
    - Sem 2, 2016
    - Sem 2, 2015.
  • Demonstrator (Teaching Assistant), Same course as above,
    - Sem 2, 2017
    - Sem 2, 2016
    - Sem 2, 2015
    - Sem 2, 2014.
  • Guest Lecturer, 2509ICT Software Engineering, Griffith University, Australia, Sem 1, 2008.
  • Instructor, Building Complex Systems (short course for industry participants), Software Quality Institute, Griffith University, Australia, July 10-11th, 2007.