Discovery Projects - Grant ID: DP120102489

Funding Activity

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

Symbolic synthesis of knowledge-based program implementations. Systems with concurrent streams of activity are ubiquitous in computer hardware and software designs, but are conceptually complex, and fraught with faults and inefficiency. The project aims to address these difficulties by automating aspects of system design, to relieve the designer of the need to reason about complex patterns of information flow.

Funded Activity Details

Start Date: 07-03-2012

End Date: 31-12-2016

Funding Scheme: Discovery Projects

Funding Amount: $330,000.00

Funder: Australian Research Council