A formally verified, optimising ML compiler, developed in collaboration with Cambridge, Chalmers, and Kent.
Formal models of concurrency and distributed systems for the specification, analysis and verification of network protocols and operating systems.
Microkernel mechanisms and execution time models for building complex systems that not only deliver, but deliver on time.
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.
Using formal proof and microkernel mechanisms to build secure autonomous vehicles in DARPA’s high assurance cyber military systems (HACMS) program.
We invent, apply and deliver new technologies to automate the extraction of useful information from 2D, 3D and 4D images for industrial and scientific applications.
All organisations need to comply with legislation or codes of conduct. These tend to be complex, and it is a difficult manual process to rule out inconsistencies, tautologies, dead ends and repetitions. In 2014, the annual compliance cost to Australian businesses reached $249 billion. To cut through the maze of regulations, Data61 is developing technology called […]