I have been delivering courses and lectures for a number of years, at undergraduate and post-graduate levels. Topics I am familiar with to lecture are: formal methods, static analysis, modelling and verification of concurrent systems, algorithm design, software engineering

Advanced Algorithms Design

Post Graduate (Master) Course, Macquarie University, Department of Computing, 2018

Teaching Years: 2014 to 2018.

Algorithmic Verification

Under and Post graduate level, University of New South Wales, Computer Science Department, 2014

Teaching Years: 2012 to 2015.