Skip navigation
The Australian National University

Machine-checked Foundations for Verified Vote Counting

Researchers

Grant status

Active

Grant start date

30/07/2014

Grant funding

  • 2014: $120,000 from ARC - Australian Research Council
  • 2015: $120,000 from ARC - Australian Research Council
  • 2016: $120,000 from ARC - Australian Research Council

Updated:  25 September 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers