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
- Describe the various sub-fields of theoretical computer science
- Explain how the various sub-fields of theoretical computer science are linked
- Apply knowledge of the theory of computation to solve relevant problems in Computer Science
- Examine anatomy of code and recognise their properties
- Evaluate algorithm performance and optimise code
- 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.
Relevant Degrees
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