Dr Petros Papapanagiotou

Chancellor's Fellow in Digital Technologies

Students

Current students

PhD

Jiawei Zheng
image of Jiawei Zheng

Workflow, IoT, Blockchain, Access Control

2020-today ♦
Rui Zhao
image or Rui Zhao wearing a white robe in a grey background

Formal reasoning for data governance rules

2017-today ♦ 3rd supervisor

MSc

Qi Chen
image of Qi Chen

Visualizing delays in a timeline of business processes

2021 ♦
Yefei Chen
image of Yefei Chen

Generation of checklists from formal workflow models

2021 ♦
Cyan Hou
image of Cyan Hou

Sharing and Negotiating Calendar Preferences for Meetings

2021 ♦
Shilin Li
silhouette of a woman

Sharing and Negotiating Calendar Preferences for Meetings

2021 ♦

UG4 & MInf

Michal Baczun
image of Michal Baczun in front of a lake

Look-ahead in Business Process Simulation

2020-2022 ♦
Dimitris Christodoulou
image of Dimitris Christodoulou in a white background

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

2020-2022 ♦

Previous students

PhD

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

Machine learning for interactive theorem proving

2014-2019 ♦ 2nd supervisor

MSc

Yannan Huang
image of Yannan Huang

Process Analytics for the Training of Future Doctors

2020 ♦
Demetris Louca
image of Demetris Louca

Analysis of Process Miners

2020 ♦
Fei Wenchang
silhouette of a man

Designing a Meeting Assistant Application Based on Microsoft Teams

2020 ♦
Kezhi (Bill) Chen
silhouette of a man

Delay Analysis in Manufacturing Process

2019 ♦
Nigel Hussain
silhouette of a man

Business Process Modelling of Care Pathways for HIV Patients

2018 ♦ 2nd supervisor
Eirini Papakosta
image of Eirini Papakosta

An Interactive, Web-based Platform for Pulmonary Rehabilitation

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

An Interactive, Web-based Platform for Pulmonary Rehabilitation

2017 ♦ 2nd supervisor
Alisa Dewanti
silhouette of a woman

Developing workflow-based guidelines for burns care in Scotland

2016 ♦
Vanessa Hanschke
image of Vanessa Hanschke

A social machine for the Heart Manual Programme

2016 ♦ 2nd supervisor
Arjun Arunachalam
image of Arjun Arunachalam

A RESTful web service for the WorkflowFM composer

2015 ♦

UG4 & MInf

Marcus Sanatan
image of Marcus Sanatan

Diagrammatic web-based Interface for process composition

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

Lemma recommendations for mechanical theorem proving

2014 ♦ 2nd supervisor

Interns

Michal Baczun
image of Michal Baczun in front of a lake

WorkflowFM - business process simulation

2020 ♦ 3 months
Abhishek Pandey
image of Abhishek Pandey

DigiFlow - full stack development

2018 ♦ 2 months
Raees Aamir
image of Raees Aamir

DigiFlow - dashboard development

2018 ♦ 2 months
Joao Maio
image of Joao Maio

DigiFlow - timeline development

2018 ♦ 2 months

Study with me

I am accepting PhD students in any of the areas related to my research. Example topics are listed below. Funding may be available for excellent candidates.

Feel free to contact me with any queries.

Applied verification of concurrent and distributed systems

Workflow management meets the Internet of Things

Logic-based workflow modelling and management

Develop novel symbolic AI and data-driven techniques to innovate across the stages of the workflow lifecycle: