ARC Future Fellowships - Grant ID: FT0991785

Funding Activity

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

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

Model checking Multi-Agent System and its applications. This research project directly addresses two of the Australian Government's four National Research Priorities: National Research Priorities 3 and 4. It will develop an enabling technology that is applicable to the development of safety-intensive and highly dependable software systems like medical equipment and airport controlling systems. The security protocol analysis technologies developed by this project can be useful for providing improved ways of military operation flows, and for making Australian security communication systems more dependable.

Funded Activity Details

Start Date: 01-07-2010

End Date: 28-11-2014

Funding Scheme: ARC Future Fellowships

Funding Amount: $686,400.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Logics And Meanings Of Programs | Other Artificial Intelligence | Expert Systems | Artificial Intelligence and Image Processing

ANZSRC Socio-Economic Objective (SEO)

Education and training not elsewhere classified | Air transport | Industrial |

Other Keywords

Air transport | Artificial Intelligence and Image Processing | Education and training not elsewhere classified | Expert Systems | Industrial | Logics And Meanings Of Programs | Other Artificial Intelligence

Related Links