Sotabase

Career

· Postdoctoral Researcher, KU Leuven2025–
· Postdoctoral Researcher, Monash University2023–2025
· PhD in Computer Science, Monash University2019–2022

Publications (26)

Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE
International Joint Conference on Electronic Voting · 2023
6
cited
Modelling and Solving Online Optimisation Problems
AAAI Conference on Artificial Intelligence · 2020
4
cited
Explanation of Counterexamples in the Context of Formal Verification
2016
3
cited
3+ Seat Risk-Limiting Audits for Single Transferable Vote Elections
arXiv.org · 2025
1
cited
Efficient Lower Bounding of Single Transferable Vote Election Margins
arXiv.org · 2025
1
cited
Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections
FC Workshops · 2024
1
cited
Idiosyncratic properties of Australian STV election counting
arXiv.org · 2024
1
cited
Aggregation and Garbage Collection for Online Optimization
International Conference on Principles and Practice of Constraint Programming · 2020
Automatic Predicate Encapsulation of Potentially Profitably Presolvable Submodels in MiniZinc
2018
Doing More With Less: Mismatch-Based Risk-Limiting Audits
arXiv.org · 2025
Explaining Propagation for Gini and Spread with Variable Mean
International Conference on Principles and Practice of Constraint Programming · 2022
Improving the Computational Efficiency of Adaptive Audits of IRV Elections
International Joint Conference on Electronic Voting · 2024
To whom did my vote go?
arXiv.org · 2025
Sotabase
Alexander Ek | Researcher Profile | Sotabase | Sotabase