Alexander is a Postdoctoral Research Fellow in the Department of Computer Science at KU Leuven, Belgium, hosted by Bart Bogaerts in the Declarative Languages and Artificial Intelligence section. His work will mainly focus on proof-logging and certified first-order model expansion.
His other projects include combining data science and optimisation for election integrity (including statistical post-election audits), modeling and solving online optimisation problems, and multi-stakeholder optimisation with fairness considerations.
He received his PhD in 2022 from the Dept. of Data Science and AI, Monash University with a focus on addressing uncertainty in combinatorial optimisation. His research interests include combinatorial optimisation, data- and logic-driven decision-making under uncertainty, proof-logging, and trustworthy and explainable AI/software/elections.