Posts by Collection

conferences

publications

talks

teaching

Algorithmic Verification

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

Teaching Years: 2012 to 2015.

Advanced Algorithms Design

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

Teaching Years: 2014 to 2018.