Projects
The lists may not be exhaustive and may exclude new collaborations and proposals under development.
Current
SuprNation
2022-today
SuprNation is a technology company founded in 2015 to serve as a home for some of the most competent and creative people in the iGaming industry. Our first product was launched in the summer of 2016, a casino determined to deliver a better user and gaming experience than what is currently available. SuprNation is a highly ambitious project with 3 casino brands, VoodooDreams, NYSpins and Duelz live …
Logic-based workflows
2009-today
This project aims to enhance the development of process workflows with AI techniques so that various properties of the models are verified as they are being built, i.e. workflows that are correct-by-construction. In particular, we employ the proofs-as-processes paradigm which describes the correspondence between Classical Linear Logic (CLL) proofs with π-calculus processes. This enables us to …
Business Process Simulation
2019-today
Proter is an open-source discrete event simulation library for workflows, written in Scala. It is part of our WorkflowFM framework for formal workflow modelling and management and is available on GitHub: https://github.com/workflowfm/proter Website and documentation is available here: http://docs.workflowfm.com/proter/ Proter was initially developed for the simulation of logic-based workflows in …
Past
Advanced Care Research Centre
2020-2022
The Advanced Care Research Centre Programme is a complementary programme of research and development to deliver innovation and change to later life care. It has the following vision: High‐quality data‐driven, personalised and affordable care that supports the independence, dignity and quality‐of‐life of people in later life living in their own homes and in supported care environments. It is a …
Explainable Maintenance Support
2021-2022
In this project, I offered consultancy services to the Lumada Data Science Lab of Hitachi in Japan. The project focused on the exploration of Explainable AI solutions for maintenance support, drawing from actual IoT data from Hitachi manufacturing sites. Maintenance operations in large manufacturing machines are complex and require expert knowledge and experience. The goal of the project was to …
DigiFlow
2018-2020
Digitizing Industrial Workflow, Monitoring and Optimization Digiflow is an Industry 4.0 project funded by EIT Digital. It focuses on the digitization, monitoring, and optimization of industrial workflows, with a combination of IoT sensors, Cloud infrastructure and our workflow technologies. A slide deck with some of the aspects and outputs of the project for 2018 can be found HERE We are working …
SOCIAM
2014-2018
SOCIAM was an EPSRC funded project involving the Universities of Oxford, Edinburgh and Southampton, focusing on the theory and practice of social machines. The following slideshare gives an overview of social machines and SOCIAM: {{< slideshare id=“jogOZAD0VgkoJj” >}} The official website contains detailed information about the numerous aspects, research topics, outputs, and …
Integrated Care Pathways for HIV patients
2014-2018
We work in close collaboration with the NHS Lothian and NHS Greater Glasgow and Clyde boards to improve HIV care by mapping the processes involved in the form of an Integrated Care Pathways (ICPs). We employ a rigorous methodology involving contextual interviews, questionnaires, and shadowing to capture the and record necessary knowledge. Using the logic-based tool WorkflowFM for this purpose …
Lightweight Social Calculus
2014-2018
We would like to change the way in which social machines are built. The central premise is: there is a model of interaction which sits behind any social machine, governing who can do what when, which kinds of messages can be sent and to whom, shaping the ways in which the complex socio-technical system unfolds through time. However, these interaction models are often not explicit, transparent, …
Sociograms: Rapid assembly of Social Machines
2016-2018
Our goal is to create a methodology and a tool to design Social Machines using a graphical language (for now dubbed Sociograms) with executable semantics, in the sense that a (basic) working prototype can be automatically generated from a sociagram-based design. Research questions include: Can we describe (most) social machines as hypergraphs where nodes are actors and hyperedges are interaction …
Healthcare Data Safe Havens
2017
Healthcare Data Safe Havens allow the sharing of healthcare data in a secure infrastructure for extensive, data-intensive experiments being demanded by precision and stratified medicine. A key architectural challenge is how to maintain control of patient data within the governance of local data jurisdictions, while also allowing these jurisdictions to engage with experiment designs that (because …
Training Platform for Pulmonary Rehabilitation
2017
Image by Patrick J. Lynch, medical illustrator, CC BY 2.5 Description As part of the National Healthcare system, the Edinburgh Community Pulmonary Rehabilitation team is tasked with delivering high quality care, engaging on promoting public health and improving self-management. The Pulmonary Rehabilitation team, based in Leith, has been running since 2008 and receives annually over 650 referrals …
Workflows for burns care in Scotland
2016
The Care for Burns in Scotland (COBIS) managed clinical network aims to provide a high standard of care for patients who suffer burn injuries in Scotland. In COBIS, an effort is made to maintain burns data throughout Scotland and develop efficiency and quality indicators for burns care. The difficulty of these tasks is compounded by patient diversity (different patients require different care …
Intra-hospital patient transfers
2012-2014
We employed our rigorous workflow-based methodology to address safety issues of intra-hospital transfers. Particularly, we devised a framework for systematically generating electronic checklists for healthcare processes, and we applied it to intra-hospital transfers for tracheostomy procedures at St Mary’s Hospital, London. The resulting checklists are guaranteed to reflect the transfer workflows, …
Patterns for collaborative work in healthcare
2013-2014
We used our rigorous framework to formally verify the correctness of anumber of collaboration patterns in healthcare teams by looking at specifications of responsibility and accountability. Particularly, we analysed two types of patient handovers, which we modelled as process compositions that were then mechanically verified. The formal underpinning of our approach provides guarantees that all the …
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