This aspect of ouur research focuses on the application of formal methods to the modelling of scenarios of intra-hospital transfers of patients.
We use a formal verification framework for the composition of processes, based on the proofs-as-processes paradigm.
Collaboration patterns in healthcare teams are constructed diagrammatically as compositions of keystones that are viewed as abstract processes.
We are a team of informatics researchers at the University of Edinburgh. Our healthcare informatics projects are funded by EPSRC, and they involve our close collaboration with clinicians in different disciplines.
This research has the potential to improve the standard of practice during intra-hospital transfers by helping to reduce errors and treatment-related omissions, and is aligned with the goal of designing for greater safety in the NHS, which is a matter of national importance.