This course offers students a unique opportunity for the advanced study of a special thematic area within the discipline of Theoretical Computer Science. The topics will vary from year to year in response to emerging theoretical and practical issues in the discipline, as well as the research interests and expertise of academics and sessional staff. They will be drawn from the broad areas of formal methods and programming languages, and could include (but not limited to) the following topics: computational logic, category theory, concurrency theory, type theory, semantics of programming languages, computer-assisted theorem proving, model checking, formal methods for security, and formal verification of hardware and software systems.
Learning Outcomes
Upon successful completion, students will have the knowledge and skills to:
- Demonstrate a broad knowledge in the advanced topic and its role and applications in modern computing systems
- Critically evaluate the scientific literature related to the advanced topic and/or applications of the advanced topic in modern computing systems
- Plan and execute project work and/or a piece of research and scholarship in the advanced topic
Other Information
Pre-requisite courses for the Advanced Topic will be listed on the SoCo website when the course topic is announced. Students who meet the pre-requisites can request a permission code following the instructions at Enrolling in CECC courses .
Students will be able to receive credit for completing this course up to 3 times provided they complete three different Advanced topics.
Indicative Assessment
- Assessments and their weighting will vary depending on the nature of the topic. Specific details will be presented in the Class Summary. (100) [LO 1,2,3]
The ANU uses Turnitin to enhance student citation and referencing techniques, and to assess assignment submissions as a component of the University's approach to managing Academic Integrity. While the use of Turnitin is not mandatory, the ANU highly recommends Turnitin is used by both teaching staff and students. For additional information regarding Turnitin please visit the ANU Online website.
Workload
Combination of Class hours and self study to total 130 hours as outline in the Class Summary.
Inherent Requirements
None
Requisite and Incompatibility
You will need to contact the School of Computing to request a permission code to enrol in this course.
Prescribed Texts
All readings and texts required for this course will be posted on the course site.
Fees
Tuition fees are for the academic year indicated at the top of the page.
Commonwealth Support (CSP) Students
If you have been offered a Commonwealth supported place, your fees are set by the Australian Government for each course. At ANU 1 EFTSL is 48 units (normally 8 x 6-unit courses). More information about your student contribution amount for each course at Fees.
- Student Contribution Band:
- 2
- Unit value:
- 6 units
If you are a domestic graduate coursework student with a Domestic Tuition Fee (DTF) place or international student you will be required to pay course tuition fees (see below). Course tuition fees are indexed annually. Further information for domestic and international students about tuition and other fees can be found at Fees.
Where there is a unit range displayed for this course, not all unit options below may be available.
| Units | EFTSL |
|---|---|
| 6.00 | 0.12500 |
Course fees
- Domestic fee paying students
| Year | Fee |
|---|---|
| 2024 | $4980 |
- International fee paying students
| Year | Fee |
|---|---|
| 2024 | $6360 |
Offerings, Dates and Class Summary Links
ANU utilises MyTimetable to enable students to view the timetable for their enrolled courses, browse, then self-allocate to small teaching activities / tutorials so they can better plan their time. Find out more on the Timetable webpage.
Class summaries, if available, can be accessed by clicking on the View link for the relevant class number.
Second Semester
| Class number | Class start date | Last day to enrol | Census date | Class end date | Mode Of Delivery | Class Summary |
|---|---|---|---|---|---|---|
| 9301 | 22 Jul 2024 | 29 Jul 2024 | 31 Aug 2024 | 25 Oct 2024 | In Person | N/A |
