Personal Website:


Research and scholarship

My recent research is in the development and assurance of simulations of complex (biological) systems, for use alongside laboratory research (YCIL). 

  • model driven engineering support for simulation
  • patterns for simulation development
  • arguing fitness for purpose

My earlier research covered formal modelling (e.g. in Z and B):

  • capturing the intent of diagrammatic models in formal models
  • formal specification of information systems 
  • patterns and generics in Z

I have supervised successful PhD in many areas, including formal methods, security analysis, artificial immune systems, model driven engineering, CA emergence and course graining, search-based software engineering, hyperheuristic approaches to route planning.


I teach:

  • CSM-30016: Software engineering and project management
  • CSM-20022: Software lifecycles and development


School of Computer Science and Mathematics
Keele University