Discovery Projects - Grant ID: DP110103473

Funding Activity

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

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

Process algebra approach to distributed quantum computation and secure quantum communication. This project will develop effective methods for reasoning about the behaviours of distributed quantum computing and communicating systems. The developed methods will provide effective techniques for verifying security of quantum cryptographic protocols.

Funded Activity Details

Start Date: 01-01-2011

End Date: 31-12-2015

Funding Scheme: Discovery Projects

Funding Amount: $300,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)

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 | Concurrent Programming | Expanding Knowledge in the Information and Computing Sciences | Information and Communication Services not elsewhere classified

Related Links