Discovery Early Career Researcher Award - Grant ID: DE160100568

Funding Activity

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

Towards reliability in combinatorial optimisation. This project intends to develop techniques to ensure that the solutions reported by optimisation tools are correct and verifiable. Combinatorial optimisation problems, where the best solution must be found from a vast set of possibilities, are central to critical sectors of the economy, including shipping, transit, mining and emergency response. Automated tools for these problems can now solve large industrial examples, however, they are incredibly complex artefacts which are prone to error and difficult to test. New methods for ensuring the correctness of automated tools would allow users to trust that the results returned by these tools are correct when making critical decisions.

Funded Activity Details

Start Date: 01-04-2016

End Date: 03-12-2021

Funding Scheme: Discovery Early Career Researcher Award

Funding Amount: $360,000.00

Funder: Australian Research Council