Dr Petros Papapanagiotou

Senior Scala Engineer

Students

Table of Contents

I am no longer an academic and, therefore, cannot accept new students.


PhD

image of Jiawei Zheng
Jiawei Zheng

Process monitoring and conformance checking under uncertainty

2020-today
image or Filip Smola wearing a green t-shirt in a white background
Filip Smola

Formal reasoning for process composition

2020-2022
2nd supervisor
black and white image or Jorge Gaete smiling
Jorge Gaete

Explainable AI in healthcare

2019-2022
2nd supervisor
image or Jake Palmer in an office wearing a black t-shirt and a green lanyard
Jake Palmer

Formalising and verifying voting methods

2017-2022
2nd supervisor
image or Rui Zhao wearing a white robe in a grey background
Rui Zhao

Formal reasoning for data governance rules

2017-2022
image of Yaqing Jiang smiling with a blue t-shirt and grey jacket in a grass garden
Yaqing Jiang

Machine learning for interactive theorem proving

2014-19
2nd supervisor

MSc

image or Aun Sirinaovakul wearing glasses, a white shirt with golden buttons, and a red and golden jacket
Aun Sirinaovakul

A Resource-based Checklist Generation Tool

2022
silhouette of a man
Dai Xu

A modern web interface for the WorkflowFM Composer

2022
image of Qi Chen
Qi Chen

Visualizing delays in a timeline of business processes

2021
image of Yefei Chen
Yefei Chen

Generation of checklists from formal workflow models

2021
image of Cyan Hou
Cyan Hou

A web framework for negotiating calendar preferences for meetings

2021
silhouette of a woman
Shilin Li

Cultural preferences in meeting negotiation and arrangement

2021
image of Yannan Huang
Yannan Huang

Process Analytics for the Training of Future Doctors

2020
image of Demetris Louca
Demetris Louca

Analysis of Process Miners

2020
silhouette of a man
Fei Wenchang

Designing a Meeting Assistant Application Based on Microsoft Teams

2020
silhouette of a man
Kezhi (Bill) Chen

Delay Analysis in Manufacturing Process

2019
silhouette of a man
Nigel Hussain

Business Process Modelling of Care Pathways for HIV Patients

2018
2nd supervisor
image of Eirini Papakosta
Eirini Papakosta

An Interactive, Web-based Platform for Pulmonary Rehabilitation

2017
2nd supervisor
silhouette of a woman
Lie (Jessie) Ma

An Interactive, Web-based Platform for Pulmonary Rehabilitation

2017
2nd supervisor
silhouette of a woman
Alisa Dewanti

Developing workflow-based guidelines for burns care in Scotland

2016
image of Vanessa Hanschke
Vanessa Hanschke

A social machine for the Heart Manual Programme

2016
2nd supervisor
image of Arjun Arunachalam
Arjun Arunachalam

A RESTful web service for the WorkflowFM composer

2015

UG4 & MInf

image of Michal Baczun in front of a lake
Michal Baczun

Business process simulation

2020-22
image of Dimitris Christodoulou in a white background
Dimitris Christodoulou

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

2020-22
image of Michal Sadowski wearing a navy suit in a dim nature background
Michal Sadowski

Workflow execution and management

2021-22
silhouette of a man
Martin Lewis

Web development for business process simulation

2021-22
image of Marcus Sanatan
Marcus Sanatan

Diagrammatic web-based Interface for process composition

2014
2nd supervisor
silhouette of a man
Ozgür Osman

Lemma recommendations for mechanical theorem proving

2014
2nd supervisor

Interns

image of Michal Baczun in front of a lake
Michal Baczun

WorkflowFM - business process simulation

2020
3 months
image of Abhishek Pandey
Abhishek Pandey

DigiFlow - full stack development

2018
2 months
image of Raees Aamir
Raees Aamir

DigiFlow - dashboard development

2018
2 months
image of Joao Maio
Joao Maio

DigiFlow - timeline development

2018
2 months