Substructural Logics for Bounded Resources

Dr David Ripley 

About the project

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 intends to 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.

This project is funded by an Australian Research Council Future Fellowship.