Welcome to Trustworthy Systems!
We are the Trustworthy Systems Group
We research techniques for the design, implementation and verification of secure and performant real-world computer systems.
- We aim to change the world by making software truly trustworthy.
- Having made verified software a reality, our goal is to create a societal shift towards mainstream adoption.
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. 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.
Our main activities
Research
Breakthroughs that combine our expertise in operating systems, formal methods and programming languages.
Engagement
We apply our unique research and engineering experience to solve problems in the real world.
Additional resources
Latest news
TS students make UNSW Engineering Dean's List
2026-06-03 – At the UNSW Engineering awards night, two TS students made the Dean's list, putting them into the top 1% of students in terms of academic performance: Samuel Tyler (left) for his second year, and Lucas Harvey for his third year (although both have made the list each year of their studies). Congratulations!
Gernot wins IEEE Award
2026-05-21 – 2026-05-21 – Gernot Heiser has been awarded the 2025 IEEE Technical Committee on Real-Time Systems (TCRTS) Outstanding Technical Achievements and Leadership Award (OTALA). Gernot received this award at RTAS on Wednesday May 13th 2026, by TCRTS vice-chair Björn Brandenburg from MPI-SWS. Gernot’s acceptance…
TS represents at Down Underflow 2026
2026-03-25 – 2026-03-25 – TS team members Lesley Rossouw, Julia Vassiliki, and Liam Murphy presented at Down Underflow 2026. Our team presented Sealing the hardware-software contract with LionsOS on Serengeti using time protection and device verification in this weekend of presentations and networking for the open silicon community.…