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

Seminar

The Computing Foundations Cluster is organizing a regular seminar with talks by students, academics, and guests, open to all. More information and the current schedule can be found on the Foundations Cluster Seminar website.

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