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
seL4
The world's most highly-assured operating system kernel.
Software
Our software and proof repositories, as well as packaged software releases.
For students
Info for prospective students and interns, and courses we teach.
Publications
Our research publications and tech reports.
Latest news
TS represented at Everything Open 2024
2024-05-03 – Trustworthy Systems was represented at Everything Open this year, an annual conference focused on open technologies, including Linux, open source software, open hardware and open data, and the communities that surround them. Both Gernot and Peter presented talks on the work being done at TS. ...
TS releases first version of new Lions OS and driver framework
2024-03-27 – TS proudly announces the first release (0.1.0) of its new Lions Operating System . Lions OS is built from scratch on top of the seL4 microkernel and the seL4 Microkit . Lions OS is aimed at embedded, IoT and cyberphysical systems and is designed to be forma...
Gernot Heiser inducted into Leopoldina
2024-03-14 – Gernot Heiser has been formally inducted into the German Academy of Sciences Leopoldina in a ceremony in Halle. After being elected in 2023, Gernot travelled to Halle for the formal conferral ceremony in February. Election to Leopoldina membership is highly selective and testament to the groundbre...