Advanced Algorithms Design
Post Graduate (Master) Course, Macquarie University, Department of Computing, 2018
Teaching Years: 2014 to 2018.
Advanced algorithms design including:
- lattice and fixpoint theory,
- dataflow analysis (and slicing),
- software verification techniques,
- automata theory,
- model-checking