These are the courses I completed as part of the Bachelor of Advanced Computing (Research and Development) (Honours) degree at the Australian National University (ANU).
| Year | Semester | Courses | |||
|---|---|---|---|---|---|
| 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 (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) (Computable Corecursive Functions: A Coalgebraic Approach to A Turing-Complete Model) |
| Semester 2 | COMP3300: Operating Systems Implementation | COMP3320: High Performance Scientific Computing | COMP4011: Advanced Topics in Formal Methods and Programming Languages (Software Verification using Proof Assistant) | ||
| Year 4 (2025) | Semester 1 | COMP4011: Advanced Topics in Formal Methods and Programming Languages (Concurrent Software Verification) | COMP4712: Compiler Construction | COMP4550: Computing Research Project (Generalised Type Preprocessing for Integrated Subtyping) | |
| Semester 2 | COMP3610: Principles of Programming Languages | COMP3704: Network Security | |||