Discovery Projects - Grant ID: DP130102764

Funding Activity

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

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 quantum Markov chains: towards verification techniques for quantum cryptographic systems. This project will develop effective techniques and practical tools for verification of correctness, safety and reliability of quantum cryptographic protocols and communication systems. It will promote Australia's global standing in quantum computing research and provide frontier technology to industry and governments nationally and internationally.

Funded Activity Details

Start Date: 01-01-2013

End Date: 30-06-2017

Funding Scheme: Discovery Projects

Funding Amount: $330,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Computation Theory and Mathematics not elsewhere classified | 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 | Computation Theory and Mathematics not elsewhere classified | Computational Logic and Formal Languages | Expanding Knowledge in the Information and Computing Sciences | Information and Communication Services not elsewhere classified

Related Links