Machine-checked Foundations for Verified Vote Counting

  • Gore, Rajeev (PI)
  • Schuermann, Carsten (CoI)
  • Slaney, John (CoI)

    Project: Research

    Project Details

    Description

    The project will provide a rigorous methodology and verified computer programs for counting votes bycomputer in preferential elections. The methodology will also allow electoral commissioners to update the relevant Acts of Parliament to capture many unusual cases that the current Acts either do not capture at allor capture incorrectly.
    StatusFinished
    Effective start/end date30/07/1431/08/19

    Fingerprint

    Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.