Dr Petros Papapanagiotou

Chancellor's Fellow in Digital Technologies


🔹 I am a Chancellor’s Fellow in Digital Technologies at the School of Informatics, University of Edinburgh.

I do research in AI Modelling and computer science for workflow management, with a combination of formal, process-oriented and data-driven methods.

3 intersecting circles titled 'Process & Workflow', 'Formal Methods', and 'Internet of Things'

My work is at the intersection of (business) process management, formal verification, and the Internet of Things and involves numerous applications, particularly in health and social care and manufacturing.

As a research fellow, I am openly pursuing collaborations across academia, the industry, the public and third sectors, to create impact through data-driven innovation, AI and workflow analysis.


I am a member of:

The Mathematical Reasoning (DReaM) group

Short CV


Chancellor's Fellow

in Digital Technologies
School of Informatics
University of Edinburgh, UK


Researcher Co-Investigator

Digiflow Project
School of Informatics
University of Edinburgh, UK


Project Lead


Received extensive training on business development and entrepreneurship, exhibited and pitched at various events (e.g. Demofest 2014, EIE'15, EIE'16), and won prizes in 2 competitions among other achievements.



Research and Informatics Corps
Greek Army, Greece



Artificial Intelligence with Distinction
School of Informatics
University of Edinburgh, UK

Thesis: On the automation of Inductive Proofs in HOL Light


Undergraduate degree

BSc(Hons) equivalent
Department of Informatics and Telecommunications
University of Athens, Greece


I was born in Athens, Greece which I like to visit as often as possible.

I enjoy listening to audiobooks, mainly sci-fi –see Goodreads for more–.

I play casual basketball regularly. Contact me if interested to join!