Complexity in Algebra and Algebra in Complexity: the role of finite semigroups and general algebra. Algebra and logic form the mathematical framework for expressing and analysing algorithms and their difficulty. We can then scientifically analyse what makes some tasks more difficult than others. This project unifies parallel areas of algebra to focus on two key topics at this interface between algebra and computational complexity. As a flow on, our work can uncover new algorithms for solving ....Complexity in Algebra and Algebra in Complexity: the role of finite semigroups and general algebra. Algebra and logic form the mathematical framework for expressing and analysing algorithms and their difficulty. We can then scientifically analyse what makes some tasks more difficult than others. This project unifies parallel areas of algebra to focus on two key topics at this interface between algebra and computational complexity. As a flow on, our work can uncover new algorithms for solving constraint problems and for the study of formal languages.
With a team of top international researchers developing new interactions between mathematics and the study of algorithms, the project will foster a culture of innovation and bring Australia into the play in this internationally competitive area.Read moreRead less
A Compositional Model for Verifying and Programming Ecologies of Smart Internet Devices. Emerging in 21st century computing is what we perceive as device ecologies, or collections of devices that can exhibit smart behaviour, automate tasks, interact synergistically with one another, with users and Internet resources, and provide aid and value in daily life and work. Device ecologies will be seen in areas as diverse as e-commerce, health care, home automation, office automation, manufacturing, an ....A Compositional Model for Verifying and Programming Ecologies of Smart Internet Devices. Emerging in 21st century computing is what we perceive as device ecologies, or collections of devices that can exhibit smart behaviour, automate tasks, interact synergistically with one another, with users and Internet resources, and provide aid and value in daily life and work. Device ecologies will be seen in areas as diverse as e-commerce, health care, home automation, office automation, manufacturing, and defense. This project will develop a novel model and language for analyzing and programming device ecologies. This will be an Australian contribution towards techniques for constructing advanced applications that work over the computing infrastructure of the future.Read moreRead less
Options For Proofs: New Perspectives on Propositional Logic. Philosophers and logicians recognise that proof is important, but they do not agree on what proofs are. Recent research in logic has greatly expanded our notion of proof, but this research is not unified. We need a coherent, general and applicable concept of proof. This project will unify the literature on proof and bring these insights to bear in the philosophy of language. It will show how proof can help analyse many features of ....Options For Proofs: New Perspectives on Propositional Logic. Philosophers and logicians recognise that proof is important, but they do not agree on what proofs are. Recent research in logic has greatly expanded our notion of proof, but this research is not unified. We need a coherent, general and applicable concept of proof. This project will unify the literature on proof and bring these insights to bear in the philosophy of language. It will show how proof can help analyse many features of language (more than just logical constants) but that the role of inference does not justify one kind of proof in preference to others.Read moreRead less
Mathematical, logical and computational foundations of hybrid control systems, and their application to design and synthesis problems in control engineering. Hybrid control systems are mathematical models of heterogeneous systems consisting of digital computer components interacting in real-time with continuous physical processes. Their many engineering applications include air traffic control, medical technology and automated transport. Motivated by such safety-critical and high-confidence appl ....Mathematical, logical and computational foundations of hybrid control systems, and their application to design and synthesis problems in control engineering. Hybrid control systems are mathematical models of heterogeneous systems consisting of digital computer components interacting in real-time with continuous physical processes. Their many engineering applications include air traffic control, medical technology and automated transport. Motivated by such safety-critical and high-confidence applications, the project aims to develop a unified framework of mathematical logics adequate to formally represent and reason about the structure, behaviour, and properties of hybrid control systems, and use this to develop methodologies for automatically synthesising hybrid control programs that are provably correct with respect to their specifications. Other outcomes include prototype software implementations of hybrid controller design tools.Read moreRead less