• Total units 24 Units
  • Areas of interest Computer Science, Mathematics, Algorithms and Data, Computational Foundations
  • Specialisation code COMP-SPEC

The Computational Foundations specialisation is available in the two year full-time (or equivalent part-time) Master of Computing and Master of Computing (Advanced). In these degrees, students will be exposed to best practice in computing and cutting edge courses of relevance to computing practitioners. Additionally, students with this specialisation will have in-depth knowledge and skills in the concepts, techniques and methods in the area of theoretical computer science and computation.

Learning Outcomes

  1. Describe the various sub-fields of theoretical computer science
  2. Explain how the various sub-fields of theoretical computer science are linked
  3. Apply knowledge of the theory of computation to solve relevant problems in Computer Science
  4. Examine anatomy of code and recognise their properties
  5. Evaluate algorithm performance and optimise code
  6. Design efficient algorithms and methodologies adapted for different tasks

Other Information

To enrol in MATH8343 students will need to apply to the course convener for a permission code.


COMP8011 Advanced Topics in Formal Methods and Programming Languages is a special topics course and the particular topics taught under this code will vary. The topic to be covered in each instance of the course will be advertised on the School of Computing website.

Back to the top

Requirements

This specialisation requires the completion of 24 units, which must consist of:

A minimum of 12 units of 8000 level courses


A minimum of 12 units from completion of courses from the following list:

COMP6361 Principles of Programming Languages

COMP6363 Theory of Computation

COMP8011 Advanced Topics in Formal Methods and Programming Languages

COMP8460 Advanced Algorithms

COMP8670 Advanced Topics in Logic and Computation

MATH6114 Number Theory and Cryptography

MATH8343 Foundations of Mathematics


A maximum of 12 units from completion of courses from the following list:

COMP6261 Information Theory

COMP6262 Logic

COMP6466 Algorithms


Back to the top

Responsible Officer: Registrar, Student Administration / Page Contact: Website Administrator / Frequently Asked Questions