We research techniques for the design, implementation and verification of secure and performant real-world computer systems.
We achieve impact by fundamentally changing how software systems are engineered in the real world. Our techniques provide the highest possible degree of assurance—the certainty of mathematical proof—while being cost-competitive with traditional low- to medium-assurance systems.
Our research brings together a unique combination of expertise in operating systems, formal methods and programming languages. Our seL4 microkernel is the most thoroughly verified operating system kernel in the world.
Our work goes beyond research. We show how to build robust, high-performance software stacks for the software development community, and also engage with other organisations to apply our technology to real problems.
Breakthroughs that combine our expertise in operating systems, formal methods and programming languages.
We apply our unique research and engineering experience to solve problems in the real world.
2023-9-18 – Undergraduate team member Mathieu Paturel spoke at ApSys ‘23 on behalf of Trustworthy Systems and our research. He had these words to say about the experience: "I was really fortunate to go to Seoul, Korea, to present some ...
2023-7-21 – This mid-year period has seen Gernot Heiser and other TS members present around the world. After the ACM Software System Award , Gernot Heiser participated in the IFIP Working Group 10.4 meeting on the Future of Dependable Computin...
2023-6-19 – Two TS team members have been honoured in the most recent CSE Awards. Patrick Hao has been awarded the Arista Networks COMP9242 Prize. Gordon Tsun Wang Sau has been awarded third place in the Jane Street COMP3141 Prize. ...