Students

Process monitoring and conformance checking under uncertainty

Formal reasoning for process composition

Explainable AI in healthcare

Formalising and verifying voting methods

Formal reasoning for data governance rules

Machine learning for interactive theorem proving

A Resource-based Checklist Generation Tool

A modern web interface for the WorkflowFM Composer

Visualizing delays in a timeline of business processes

Generation of checklists from formal workflow models

A web framework for negotiating calendar preferences for meetings

Cultural preferences in meeting negotiation and arrangement

Process Analytics for the Training of Future Doctors

Analysis of Process Miners

Designing a Meeting Assistant Application Based on Microsoft Teams

Delay Analysis in Manufacturing Process

Business Process Modelling of Care Pathways for HIV Patients

An Interactive, Web-based Platform for Pulmonary Rehabilitation

An Interactive, Web-based Platform for Pulmonary Rehabilitation

Developing workflow-based guidelines for burns care in Scotland

A social machine for the Heart Manual Programme

A RESTful web service for the WorkflowFM composer

Business process simulation

Prediction of time to find study space in the Main Library using Wi-Fi data

Workflow execution and management

Web development for business process simulation

Diagrammatic web-based Interface for process composition

Lemma recommendations for mechanical theorem proving

WorkflowFM - business process simulation

DigiFlow - full stack development

DigiFlow - dashboard development

DigiFlow - timeline development