Machine-checked Foundations for Verified Vote Counting
Researchers
- Emeritus Professor Rajeev Gore (Primary Investigator)
- Carsten Schuermann (Secondary Investigator)
- Emeritus Professor John Slaney (Secondary Investigator)
Grant status
Completed-Pending ReportsGrant start date
30/07/2014Grant funding
- 2014: $120,000 from Australian Research Council (ARC)
- 2015: $120,000 from Australian Research Council (ARC)
- 2016: $120,000 from Australian Research Council (ARC)