ARC Future Fellowships - Grant ID: FT190100147

Funding Activity

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

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

Substructural logics for limited resources. This project aims to develop logical tools for managing reasoning and computation under conditions of bounded resources: fixed limits on the amount of time, memory, or other resources that can be allocated to a particular course of reasoning or computation. By drawing on both philosophical and computational approaches to logic, the project will develop new logical systems aimed at capturing these limitations. The expected outcome is new logical methods for managing limited resources, as well as boosting interdisciplinary capacity. Anticipated benefits include developing a new programming language that will enable programmers to issue strong guarantees about the resources their programs will use.

Funded Activity Details

Start Date: 30-06-2020

End Date: 29-06-2024

Funding Scheme: ARC Future Fellowships

Funding Amount: $690,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Philosophy | Logic

ANZSRC Socio-Economic Objective (SEO)

Expanding Knowledge in Philosophy and Religious Studies |

Other Keywords

Expanding Knowledge in Philosophy and Religious Studies | Logic | Philosophy

Related Links