Database services in the cloud are attracting more companies to outsource their databases, since in this way the companies do […]
Amicus is a new multi-platform computer application developed by CSIRO that enables the easy calculation of expected fire behaviour from burning conditions that you enter.
Mu is a micro-virtual-machine targeted at managed languages and intended as a verification target. The majority of software developers today work […]
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 […]
Using formal proof and microkernel mechanisms to build secure autonomous vehicles in DARPA's high assurance cyber military systems (HACMS) program.
Keeping people at the centre of technology innovation.
