Focusing on the design, implementation and verification of real-world software systems that are safe and secure in the strongest sense – that of mathematical proof – the Trustworthy Systems Group’s activities range from fundamental research, to the creation of technology and its transfer to the real world. Areas include: operating systems; formal methods; programming languages, and cybersecurity.
Our partners
- Melbourne University, opens in a new window
- ANU, opens in a new window
- Chalmers, opens in a new window
- Proofcraft, opens in a new window
- Breakaway, opens in a new window
- seL4 Foundation, opens in a new window
- Technology Innovation Institute (UAE), opens in a new window
- National Cyber Security Centre (UK), opens in a new window
- ETH Zurich, opens in a new window
- Neutrality, opens in a new window
- Collins Aerospace, opens in a new window
- DARPA, opens in a new window
