Proposal for Honours in Mathematics, Science and Technology Education

Honours Report in Computing Education

Contemporary Theories of Learning and Implications for Teaching (Offered in Semester 1)

Research Methods in Mathematics, Science and Technology Education (Offered in Semester 1)

Contributions From Cognitive Science to Teaching and Learning (Offered in Semester 2)

Formal Logic

Ontology Engineering

Logic-Based Reasoning

Machine Learning

Natural Language Processing

Formal Program Verification