Discovery Projects - Grant ID: DP120101413

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/Web/Grant/Grant/DP120101413

Funding Status
Closed

Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the .

Funded Activity Summary

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.

Funded Activity Details

Start Date: 01-01-2012

End Date: 31-12-2017

Funding Scheme: Discovery Projects

Funding Amount: $270,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Applied Discrete Mathematics | Software Engineering | Computational Logic and Formal Languages | Computation Theory and Mathematics

ANZSRC Socio-Economic Objective (SEO)

Expanding Knowledge in the Information and Computing Sciences | Computer Software and Services not elsewhere classified | Expanding Knowledge in the Mathematical Sciences | Expanding Knowledge in Technology |

Other Keywords

Applied Discrete Mathematics | Computation Theory and Mathematics | Computational Logic and Formal Languages | Computer Software and Services not elsewhere classified | Expanding Knowledge in Technology | Expanding Knowledge in the Information and Computing Sciences | Expanding Knowledge in the Mathematical Sciences | Software Engineering

Related Links