Until 2020 I was a professor of computer science in Australia.
I did my PhD at the University of Cambridge in England.
I did my BSc and MSc at the University of Melbourne.
This is a talk about how we can generate single transferable votes counting code from a logical specification automatically using advanced computer aided verification methods.
It is based upon a PhD dissertation but I think I made it non-technical.