Trustworthy Systems

The Trustworthy Systems project is the overarching project of the Trustworthy Systems Research Group.

Its aim is to fundamentally change how software systems are designed, implemented and verified to achieve real trustworthiness in the critical systems that affect our lives.