HPCOS81 – Research Methods and Proposal

HRCOS82 – Honours Research Report 

COS4807 – Formal Logic

COS4840 – Ontology Engineering

COS4851 – Logic-Based Reasoning

COS4852 – Machine Learning

COS4861 – Natural Language Processing

COS4892 – Formal Program Verification

INF4817 – Software Engineering

INF4820 – Human-Computer Interaction

INF4825 – Software Project Management

INF4831 – Information Security

INF4860 – E-Learning: Concepts and Principles

INF4883 – Enterprise Architecture