ARC Future Fellowships - Grant ID: FT100100218

Funding Activity

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

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

Reasoning about, and stepwise development of, quantum programs: a predicate transformer semantics approach. The project will provide a framework to reason about, and stepwise develop, quantum programs by rigorous predicate transformer semantics, and generate breakthrough theory and frontier techniques for quantum software engineering.

Funded Activity Details

Start Date: 01-01-2011

End Date: 31-12-2014

Funding Scheme: ARC Future Fellowships

Funding Amount: $561,190.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Mathematical Aspects of Classical Mechanics, Quantum Mechanics and Quantum Information Theory | Quantum Information, Computation and Communication | Computational Logic and Formal Languages | Computation Theory and Mathematics

ANZSRC Socio-Economic Objective (SEO)

Expanding Knowledge in the Information and Computing Sciences | Information and Communication Services not elsewhere classified |

Other Keywords

Computation Theory and Mathematics | Computational Logic and Formal Languages | Expanding Knowledge in the Information and Computing Sciences | Information and Communication Services not elsewhere classified | Mathematical Aspects of Classical Mechanics, Quantum Mechanics and Quantum Information Theory | Quantum Information, Computation and Communication

Related Links