Making software more reliable using a new model for entropies of computers' internal state [ 2012 - 2014 ]

Research Grant

Researchers Prof Dr Joost-Pieter Katoen; A/Prof Annabelle Kate McIver; Prof Charles Carroll Morgan

Brief description A new mathematical analysis of the way computer systems exchange data between their components has led to novel design approaches for the programs implementing those systems. This reduces their cost and increases their reliability, with improvements ranging from small-scale smart devices to widely distributed internet protocols.

Funding Amount $270,000

Funding Scheme Discovery Projects