ARC Discovery Projects funding success 2016
Dr Murray Elder, Dr Laura Ciobanu and Professor Volker Diekert have been awarded $417,000 in ARC Discovery Project funding commencing in 2016 for their research project The language complexity of problems in algebra and logic.
This project focuses on a major problem at the intersection of algebra, logic and computer science, concerning equations over free groups and free monoids. Expected outcomes include a language-theoretic characterisation of solutions of equations in a wide class of groups and monoids, a language-theoretic understanding of the existential and first-order theories of free groups, and a classification of groups with indexed multiplication tables and EDT0L word problem. The project is designed to expand the frontiers of knowledge in theoretical computer science and pure mathematics, but in the longer term to deepen our understanding of computers, their computational power and intrinsic limitations.