Thomas Haines

Thomas Haines is a Senior Lecturer ARC DECRA Fellow at The Australian National University, School of Computing. His research interests include applied cryptography, electronic voting, zero-knowledge proofs, and secure computation. He focuses on the intersection of cryptography and formal methods, particularly the security of deployed electronic voting systems. Haines has several funded PhD positions available on this topic. He joined ANU in 2021 after previously working as a research and development manager at Polyas GmbH and holding a postdoc position at the Norwegian University of Science and Technology.