Discovery Projects - Grant ID: DP1094578

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/Web/Grant/Grant/DP1094578

Funding Status
Closed

Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the .

Funded Activity Summary

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.

Funded Activity Details

Start Date: 01-01-2010

End Date: 30-06-2017

Funding Scheme: Discovery Projects

Funding Amount: $255,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Mathematical Logic And Formal Languages | Mathematical Logic, Set Theory, Lattices And Combinatorics | Analysis Of Algorithms And Complexity | Computation Theory and Mathematics

ANZSRC Socio-Economic Objective (SEO)

Mathematical sciences |

Other Keywords

Analysis Of Algorithms And Complexity | Computation Theory and Mathematics | Mathematical Logic And Formal Languages | Mathematical Logic, Set Theory, Lattices And Combinatorics | Mathematical sciences

Related Links