My research interests include the use of mathematics to reason about the semantics and general algebraic properties of programming and specification languages. The areas of computer science that I am most concerned with are functional programming, relational programming algebras, and the theory and applications of predicate transformers and multirelations. I am also interested in the development and evaluation of intelligent mobile tools for the self-management of chronic health conditions, especially in relation to human computer interaction.
Research group membership
I am a member of three departmental research groups: Applied Formal Methods, Applied Software Engineering and Cybersecurity.
Research grants and awards
- Horizon 2020 2016-1019: Patient Empowerment through Predictive PERsonalised decision support. I am the Project Coordinator for this project which involves six European partners.
- Brookes Central Research Funding 2015: SWiFT: ‘Seeing the wood from the trees’: helping people to make sense of their health data.
- Brookes Central Research Funding 2010: Case-Based Decision Support Tool for Patients with Type 1 Diabetes.