Computing platforms underpin global commerce, governance, and social wellbeing as critical infrastructure. We focus on the software and hardware foundations of computing, and its theory, to improve the safety, reliability, usability, and performance of computing systems, and to make them scalable and secure. We combine teaching and research in the foundations of computing: logic and verification, theory of computation, computer organisation and architecture, operating systems, formal methods and methodologies for software engineering, user interfaces, and programming languages and tools. We work closely with industry partners on solutions to problems for real systems. Our education programs emphasise hands-on implementation and project-based learning.

People

Groups

Projects

You are on Aboriginal land.

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.

envelope building arrow-right phone arrow-left bars search times arrow-up