Discovery Projects - Grant ID: DP140101540

Funding Activity

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

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

Machine-checked Foundations for Verified Vote Counting. The project will deliver a general methodology for developing formal logical specifications of the Acts of Parliament for many common systems for counting votes in preferential elections. The project will deliver corresponding computer programs to count votes according to these systems and will deliver formal independently checkable proofs that the programs meet their specification. Such formally verified computer programs provide a legally sound basis for counting votes by computer. The methodology will also allow electoral commissioners to improve the natural language descriptions of the relevant Acts of Parliament which are often woefully out of date with current practice.

Funded Activity Details

Start Date: 30-07-2014

End Date: 31-08-2019

Funding Scheme: Discovery Projects

Funding Amount: $360,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Open Software | Software Engineering | Computational Logic and Formal Languages | Computation Theory and Mathematics

ANZSRC Socio-Economic Objective (SEO)

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

Other Keywords

Computation Theory and Mathematics | Computational Logic and Formal Languages | Computer Software and Services not elsewhere classified | Expanding Knowledge in the Information and Computing Sciences | Open Software | Software Engineering

Related Links