Projects
The lists may not be exhaustive and may exclude new collaborations and proposals under development.
Current
Past
Consultancy
- Consultant: A formal process and IoT data approach to explainable maintenance support - Lumada Data Science Lab, Hitachi Ltd, 2021-2022
- Consultant: IoT for occupancy, air quality, and energy monitoring - Nomad Energy Solutions (SME, Scotland), 2021
- Advisor: Optometry Pilot Study - DDI ‘Building Back Better’ funded project, 2021
- Advisor: Artificial Intelligence for Asthma (AI4A) - Bayes Centre AI Interdisciplinary Bid Development Seed-Funded project, led by A4A Connected+, 2021
- Advisor: Planning with Precision - IoT, Data & Process for Construction - Balfour Beatty Plc, 2019-2020
- Advisor: AI enhancements to Covid-19 demand & risk management - Patienteer (SME, UK), 2020
- Consultant: Integrated Intelligent Diagnostics - Leonardo MW Ltd, 2019
- Consultant: Safe Haven In a Box - electronic Data Research and Innovation Service (eDRIS), Public Health Scotland, NHS, 2017
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