Skip to main content

Dr Clare Martin

MA, MSc, DPhil

Principal Lecturer Student Experience

Department of Computing and Communication Technologies

Faculty of Technology, Design and Environment

Photo not available

Phone number: 01865 484543



As a Principal Lecturer Student Experience for the Faculty of Technology, Design and Environment, I am involved in work across the University that is designed to enhance the time that our students spend with us. For example I have managed projects on sustainable mentoring and getting students’ work published as part of the University Programme for Enhancing the Student Experience.

My teaching interests and activities include formal methods for computer science, programming and human computer interaction.
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.

Research projects

See above

Further information

Other experience

I worked as a computer consultant for Tessella Support Services for two years before starting my D. Phil, and I worked as a Senior Lecturer at the University of Buckingham before joining Oxford Brooks University.