Teaching

• 2013 - Now: (Department of Computer Science, Auckland University of Technology, NZ)
  Teaching the following papers: 
• COMP717 Artificial Intelligence (S1)
• COMP613 Logic and Discrete Structures (S1)
• COMP808 Logic, Games and Automata (S2)
• COMP711 Theory of Computation (S2)
• COMP611 Algorithm Design and Analysis (S2)
• MATH502 Algebra and Discrete Mathematics
• 2009: CSCI-383 Object-Oriented Programming & Design at StFX University in Canada. 
• 2005 – 2009 (Department of Computer Science, University of Liverpool, UK)
  Teaching Assistant for the following modules:
• COMP102 Introduction to Databases;
• COMP202 Complexity of Algorithms;
• COMP204 Computer Systems and Their Implementation;
• COMP210 Artificial Intelligence;
• COMP212 Distributed Systems;
• COMP304 Knowledge Representation and Reasoning (BSc); 
• COMP521 Knowledge Representation and Reasoning (MSc).