ANU Course Plan

These are the courses I took or planning to study as part of the Bachelor of Advanced Computing (Research and Development) (Honours) degree at the Australian National University (ANU).

Year 1 (2022)

Semester 1

COMP1130: Programming as Problem Solving (Advanced)
COMP2620: Logic
MATH1005: Discrete Mathematical Models
MATH1115: Advanced Mathematics and Applications 1

Semester 2

COMP1140: Structured Programming (Advanced)
COMP1600: Foundation of Computing
COMP2700: Cyber Security Foundations
MATH1116: Advanced Mathematics and Applications 2

Year 2 (2023)

Semester 1

COMP2100: Software Design Methodologies
COMP2300: Computer Organisation and Program Execution
COMP2420: Introduction to Data Management, Analysis and Security
COMP2550: Advanced Computing R&D Methods (Literature review: non-classical logic and access control)

Semester 2

COMP2120: Software Engineering
COMP2310: Systems, Networks and Concurrency
COMP2560: Studies in Advanced Computing R&D (Project: Automated SELinux RBAC Policy Verification Using SMT)
COMP3600: Algorithms

Year 3 (2024)

Semester 1

COMP3310: Computer Networks
COMP3620: Artificial Intelligence
COMP3630: Theory of Computation
COMP3770: Computing Research Project (R&D) (Project: Computable Corecursive Functions: A Coalgebraic Approach to A Turing-Complete Model)

Semester 2

COMP3300: Operating Systems Implementation
COMP3320: High Performance Scientific Computing
COMP3770: Computing Research Project (R&D) (Project: Computable Corecursive Functions: A Coalgebraic Approach to A Turing-Complete Model, continued)
COMP4011: Advanced Topics in Formal Methods and Programming Languages (Topic: Software Verification using Proof Assistant)

Year 4 (2025)

Semester 1

COMP4011: Advanced Topics in Formal Methods and Programming Languages (Topic: Concurrent Software Verification)
COMP4550: Computing Research Project (Project: Generalised Type Preprocessing for Integrated Subtyping)
COMP4712: Compiler Construction

Semester 2 (Prospective)

COMP3610: Principles of Programming Languages
COMP4011: Advanced Topics in Formal Methods and Programming Languages
COMP4550: Computing Research Project (Project: Generalised Type Preprocessing for Integrated Subtyping, continued)