coursemapLoading course
School of Computing · ANU College of Systems and Society
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.
Assessments and their weighting will vary depending on the nature of the topic. Specific details will be presented in the Class Summary.
Learning outcomes 1, 2, 3
Combination of Class hours and self study to total 130 hours as outline in the Class Summary. 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.
All readings and texts required for this course will be posted on the course site.