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

Head of research group

Scientia Professor and John Lions Chair Gernot Heiser
Scientia Professor and John Lions Chair
opens in a new window

Our people