Research Grant
[Cite as https://purl.org/au-research/grants/arc/DP120101413]Researchers: A/Prof Annabelle McIver (Chief Investigator) , Prof Charles Morgan (Chief Investigator) , Prof Dr Joost-Pieter Katoen (Partner Investigator)
Brief description Making software more reliable using a new model for entropies of computers' internal state. 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.\r\n
Funding Amount $270,000
Funding Scheme Discovery Projects
- PURL : https://purl.org/au-research/grants/arc/DP120101413
- ARC : DP120101413