COMP8011
Advanced Topics in Formal Methods and Programming Languages
- Credit
- 6 units
- Catalogue year
- 2027
- Recorded offerings
- Second Semester
Course information
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.
Requisite and Incompatibility
To enrol in this course you must have successfully completed 12 units of 6000-level COMP courses. Additional Prerequisite 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 Enrolling in CECC courses.
You will need to contact the School of Computing to request a permission code to enrol in this course.
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
Reflect on current approaches of the advanced topic and evaluate their limitations
Saved ANU Programs & Courses information, 2027. Future offerings are indicative. Checks use the saved requirements and your fictional academic record.
Some conditions may need additional evidence or clarification. See your requirement checks for what can be decided.
Course library: sources, offering dates and related entries
Read the full published course information ↗
Who reviews permission requests?
Dr Leo Brandt is the fictional reviewer assigned to COMP8011 in this prototype. The selected course determines where a request goes.
Make this part of your semester
Sign in to check your fictional academic record, save this offering, and request permission if needed.
Sign in