Dr Clare Martin

Principal Lecturer for Student Experience

Dr Clare Martin is a Principal Lecturer in the Department of Computing and Communication Technologies in the Faculty of Technology, Design and Environment (TDE) at Oxford Brookes University. Previously she worked as a lecturer at the University of Buckingham and before that she was a computer consultant for Tessella Support Services. Her research interests include using mathematics to reason about the semantics and general algebraic properties of programming and specification languages. The areas of computer science that she is most concerned with are functional programming, relational programming algebras, and the theory and applications of predicate transformers and multirelations. She is 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.


  • Dan Brown, David Duce, Rachel Franklin, Rachel Harrison, Clare Martin, Marion Waite. SWiFT Seeing the Wood From the Trees: helping people make sense of their health data. Poster in 5th Eurographics Workshop on Visual Computing for Biology and Medicine, September 2015
  • Andy Austen, Clare Martin. Reflections on using the Raspberry Pi in schools to make learning programming fun. Brookes eJournal of Teaching and Learning, July 2015
  • Undergraduates At Oxford Brookes University. Brookes eJournal of Teaching and Learning, July 2015
  • Bedour Alshaigy, Samia Kamal, Faye Mitchell, Clare Martin and Arantza Aldea. PILeT: an Interactive Learning Tool To Teach Python. Proceedings of WIPSCE 2015
  • Brown, D., Bayley, I., Harrison, R., Martin, C., Developing a Mobile Case-based Reasoning Application to Assist Type 1 Diabetes Management. To appear in Proc. Healthcomm 2013, Lisbon, Portugal, October 2013
  • Martin, C., Nossier, A., and Flood, D. User Errors in Mobile Healthcare Applications. Human Aspects in Mobile Apps Engineering Workshop@BritishHCI '13, Brunel University, London, September 9, 2013
  • Waite, M. Martin, C & Curtis, S. (2013) Mobile Phone Applications and Type 1 Diabetes: A mixed methodology approach to explore usability issues and potential for self management. Diabetes and Primary Care. 15 (1), p38-49
  • C. E. Martin and S. A. Curtis (2013). The Algebra of Multirelations. Mathematical Structures in Computer Science Vol: FirstView; Month: 2; pp 1—40;doi = 10.1017/S0960129512000965
  • Ian Bayley, Derek Flood, Rachel Harrison, Clare Martin, MobiTest: A Cross-Platform Tool for Testing Mobile Applications, Seventh International Conference on Software Engineering Advances (ICSEA 2012), Lisbon, Portugal, November 2012
  • D Brown, I. Bayley, R. Harrison, C. Martin, Formal specification of a mobile diabetes management application using the Rodin platform and Event-B, Deploy Federated Event, Fontainebleau, France, February 2012
  • C.E. Martin and S. A. Curtis (2013) Educational Pearl: Fractal Image Compression. Journal of Functional Programming, volume 23, issue 06, pp. 629-657.doi:10.1017/S095679681300021X
  • Clare Martin, Derek Flood, Rachel Harrison. (2012) A Protocol for Evaluating Mobile Applications (Extended version). Invited Chapter to appear in Information Systems Research and Exploring Social Artifacts: Approaches and Methodologies, IGI Global, Eds Pedro Isaias & Miguel Baptista Nunes
  • Garcia, E. , Martin, C., Garcia, A., Harrison, R., Flood, D. Systematic analysis of mobile diabetes management applications on different platforms LNCS 7058, p.379-396 Proc. Information Quality in e-Health. 7th Conference of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2011, Graz, Austria, November 25-26, 2011, Proceedings, Holzinger, Andreas; Simonic, Klaus-Martin (Eds.)
  • C. Martin, D. Flood, D. Sutton, A. Aldea, R. Harrison, M. Waite (2011). A Systematic Evaluation of Mobile Applications for Diabetes Management. LNCS 6949 Human-Computer Interaction – INTERACT 2011 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IV DOI: 10.1007/978-3-642-23768-3 p466-470
  • David Sutton , Arantza Aldea, Clare Martin (2011) An Ontology of Diabetes Self Management. Proceedings of the First International Workshop on Managing Interoperability and Complexity in Health Systems. ACM, New York, NY, USA
  • Clare Martin, Derek Flood, Rachel Harrison (2011). A Protocol for Evaluating Mobile Applications. Proc. IADIS International Conference on Interfaces and Human Computer Interaction. Ed K. Blashki. IADIS Digital Library. Rome, Italy. 24 - 26 July 2011
  • Derek Flood, Rachel Harrison, Clare Martin, Kevin McDaid (2011). A Systematic Evaluation of Mobile Spreadsheet Apps. Proc. IADIS International Conference on Interfaces and Human Computer Interaction. Ed K. Blashki. IADIS Digital Library pp 217 – 224. Rome, Italy. 24 - 26 July 2011
  • C.E. Martin & S.A. Curtis (2009). Monadic Maps and Folds for Multirelations in an Allegory. UTP09: Unified Theories of Programming, Dublin, Lecture Notes in Computer Science, vol. 5713, Springer Verlag. pp. 102-201
  • D. Lightfoot & C. Martin (2009). Teaching the B Method at Oxford Brookes. From Research to Teaching Formal Methods - The B Method, TFM B'2009. Nantes June 8 2009
  • C. E. Martin, S. A. Curtis, I. Rewitzky (2007). Modelling angelic and demonic nondeterminism with multirelations. Science of Computing Programming, 2007, volume 65, issue 2, pages 140-158
  • Ian Bayley, David Lightfoot, Clare Martin (2006). Teaching the Oxford Brookes Formal Specification Module. In the proceedings of Teaching Formal Methods: Practice and Experience (TFM 2006), London, UK.
  • Clare E. Martin and Sharon A. Curtis (2006) Nondeterministic Folds. in Uustalu, T : Proc of 8th Int. Conf. on Mathematics of Program Construction, MPC 2006. Vol. 4014 of Lecture Notes in Computer Science Springer p274-298
  • S.A. Curtis, C.E. Martin (2005) Functional Fractal Image Compression. In the proceedings of the 6th Symposium on Trends in Functional Programming, Tallinn, Estonia, 23-24 September 2005, pages 383-398
  • Martin, C. E. , Curtis, S. A. and Rewitzky, I. (2004) Modelling Nondeterminism. Lecture Notes in Computer Science 3125 : 228-251
  • Martin, C. E and Olde Scheper, T. (2003) Teaching Tools for Turing Machines. In Proceedings of Teaching Formal Methods Workshop, Oxford Brookes University
  • Martin, C. E, Gibbons, J and Bayley, I. (2003) Disciplined, efficient, generalised folds for nested datatypes. Formal Aspects of Computing, 2004, volume 16 no. 1, pages 19-35
  • Holding, H. and Martin, C. E. (2001) Mastering Microsoft Office (Second Edition) Palgrave Master Series, Palgrave Macmillan
  • Martin, C. E. and Gibbons, J. (2001) On the semantics of nested datatypes. Information Processing Letters, 80:233-238
  • Martin, C. E. (1995) Towards a Calculus of Predicate Transformers. Lecture Notes in Computer Science 969 : 489-498.
  • Gardiner, P. H. B., Martin, C. E. and de Moor, O. (1994) An algebraic construction of predicate transformers. Science of Computer Programming, 22(1-2):21-44.
  • Martin, C. E. (1991) Preordered Categories and Predicate Transformers. D. Phil Thesis. Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD
  • Martin, C. E., Hoare, C. A. R and Jifeng, He (1991) Pre-adjunctions in Order Enriched Categories. Mathematical Structures in Computer Science