The Computational Foundations specialisation prepares graduates for roles researching, developing, and evaluating computing fundamentals. This includes computation, logic, modelling, program, and algorithms. The 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. 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.
Additional source review: awaiting review. Published wording is shown below.
Requirements
This specialisation requires the completion of 24 units, of which:
A minimum of 12 units must come from the completion 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
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
COMP8712 Compiler Construction
Referenced entries (10)
Links and code mentions retain their original context above. They may describe options, prerequisites or exclusions.
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
Master of Computing (7706XMCOMP)
Master of Computing (Advanced) (7722XVCOMP)
Referenced entries (4)
Links and code mentions retain their original context above. They may describe options, prerequisites or exclusions.
- MATH8343 · 2027
- COMP8011 · 2027
- 7706XMCOMP · year unspecified · saved source not linked
- 7722XVCOMP · year unspecified · saved source not linked
Source evidence (1 saved copy)
Matching copies share this record. Their original file locations and checksums are retained.
assets/Specializations/Computational Foundations/Computational Foundations Specialisation - ANU.html
Published ANU page · saved page URL
SHA-256: ed45bc85eab164065902aeff289cedeadc16292f3c5dce71ee164d77ee82f49a