Summary
Alexander Ek is a postdoctoral researcher with a decade of experience at the intersection of computer science, optimization, and statistical modelling, currently based at KU Leuven after roles at Monash University and the University of Melbourne. His work centers on proof-logging and step-wise explanations, bringing formal, explainable methods to complex optimisation and econometrics problems. He has extensive teaching and course development experience in discrete optimisation, constraint programming, SAT solving and algorithmic courses, often leading and coordinating units across campuses. Alexander combines academic research with applied analytics through roles at OPTIMA_ARC and CSIRO's Data61, demonstrating an ability to translate theoretical advances into practical decision-support tools. Trained with a PhD from Monash and earlier degrees from Uppsala, he bridges rigorous formal methods and hands-on computational implementation. He often pairs deep technical tutoring with research, suggesting a knack for making intricate proofs and algorithms accessible to varied audiences.
10 years of coding experience
5 years of employment as a software developer
BSc + MSc, Computer Science, BSc + MSc, Computer Science at Uppsala University
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Monash University
Swedish, English