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 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.
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
Trustworthy Systems represented at Oz-FM
2024-06-24 – Trustworthy Systems were well represented at the Oz-FM workshop in Brisbane last month. The workshop, on Formal Methods in Australia and New Zealand, included talks by four TS members. Carroll Morgan gave the first talk of the workshop, an invited talk, on Formal Methods teaching and communication. ...
Trustworthy Systems wins at the CSE Prizes Night
2024-05-13 – Trustworthy Systems team members have been awarded at the UNSW School of Computer Science and Engineering Prizes Night on Friday May 3rd. Lucy Parker and Xavier Cooney each won two awards, and Gordon Sau and Michael He each won one. Their details are below. Congratulations to Lucy, Xavier, Gord...
Lucy Parker wins University Medal
2024-05-13 – Lucy Parker, former TS member and Honours student, has won the University Medal for Computer Science, awarded at her graduation ceremony on Monday April 29th 2024. Lucy completed her Honours thesis on high performance I/O on seL4. She was a much valued, and now much missed, member of the TS team. Cong...