Students
I am no longer an academic and, therefore, cannot accept new students.
PhD
Process monitoring and conformance checking under uncertainty
Formal reasoning for process composition
2nd supervisor
Explainable AI in healthcare
2nd supervisor
Formalising and verifying voting methods
2nd supervisor
Formal reasoning for data governance rules
Machine learning for interactive theorem proving
2nd supervisor
MSc
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
2nd supervisor
An Interactive, Web-based Platform for Pulmonary Rehabilitation
2nd supervisor
An Interactive, Web-based Platform for Pulmonary Rehabilitation
2nd supervisor
Developing workflow-based guidelines for burns care in Scotland
A social machine for the Heart Manual Programme
2nd supervisor
A RESTful web service for the WorkflowFM composer
UG4 & MInf
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
2nd supervisor
Lemma recommendations for mechanical theorem proving
2nd supervisor
Interns
WorkflowFM - business process simulation
3 months
DigiFlow - full stack development
2 months
DigiFlow - dashboard development
2 months
DigiFlow - timeline development
2 months