Personal tools
You are here: Home Graduate Study Modalities for computational effects

Modalities for computational effects

Capturing behavioural properties of computation with effects using logical modalities

Computational effects is a collective term for aspects of computational behaviour including input/output, reading and writing from/to store, nondeterminism, probabilistic choice, control effects such as jumping, etc. The goal of this project is to investigate a uniform approach to reasoning about programs with effects, based on associating, to each effect, some logical modalities expressing key aspects of behaviour. The project forms part of a general investigation into understanding core mechanisms for reasoning about programs. Technically, the PhD project will involve combining techniques from logic and operational semantics, and some knowledge of at least one of these would be beneficial for anyone potentially interested in the project.


Prospective supervisor

Alex Simpson

Document Actions