Advanced Algorithms Design
Post Graduate (Master) Course, Macquarie University, Department of Computing, 2018
Teaching Years: 2014 to 2018.
Teaching
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 engineeringAlgorithmic Verification
Under and Post graduate level, University of New South Wales, Computer Science Department, 2014
Teaching Years: 2012 to 2015.