Discovery Projects - Grant ID: DP210100271

Funding Activity

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

Funding Status
Active

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

Geodetic groups: foundational problems in algebra and computer science. The project aims to resolve important and longstanding open problems in Geometric Group Theory and Theoretical Computer Science. Since the 1980s researchers have conjectured that the geometric property of being geodetic is equivalent to several purely algebraic, algorithmic, and language-theoretic characterisations. The project team's expertise in geodesic properties of groups, the interaction between formal languages and groups, and the theory of rewriting systems, together with recent breakthroughs by the team ensures that significant results can be expected. Benefits include training research students and postdoctoral researchers in cutting-edge techniques, and advancing fundamental knowledge in mathematics and computer science.

Funded Activity Details

Start Date: 01-01-2021

End Date: 31-12-2024

Funding Scheme: Discovery Projects

Funding Amount: $435,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Group Theory and Generalisations | Pure Mathematics | Computational Logic and Formal Languages

ANZSRC Socio-Economic Objective (SEO)

Expanding Knowledge in the Information and Computing Sciences | Expanding Knowledge in the Mathematical Sciences |

Other Keywords

Computational Logic and Formal Languages | Expanding Knowledge in the Information and Computing Sciences | Expanding Knowledge in the Mathematical Sciences | Group Theory and Generalisations | Pure Mathematics

Related Links