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.


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