[Cite as http://purl.org/au-research/grants/arc/DP120101413]
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