Data61’s Trustworthy Systems Research Group aims to achieve fundamental, game-changing improvements in the design, implementation, and verification of software systems scaling from the embedded to the enterprise space. We will apply rigorous techniques at various abstraction levels of software systems, to achieve solid and practically meaningful guarantees, for provable security, safety, and reliability properties of critical systems.
