Discovery Projects - Grant ID: DP120102489

Funding Activity

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

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

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

Research Topics

ANZSRC Field of Research (FoR)

Computational Logic and Formal Languages | Computation Theory and Mathematics | Concurrent Programming

ANZSRC Socio-Economic Objective (SEO)

National Security | Application Tools and System Utilities |

Other Keywords

Application Tools and System Utilities | Computation Theory and Mathematics | Computational Logic and Formal Languages | Concurrent Programming | National Security

Related Links