Dr Petros Papapanagiotou

Chancellor's Fellow in Digital Technologies

About

🔹 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.


Groups

I am a member of:

The Mathematical Reasoning (DReaM) group


Short CV

2019-2022

Chancellor's Fellow

in Digital Technologies
School of Informatics
University of Edinburgh, UK

2018-2019

Researcher Co-Investigator

Digiflow Project
School of Informatics
University of Edinburgh, UK

2014-2018

Project Lead

WorkflowFM

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.

2008-2009

Private

Research and Informatics Corps
Greek Army, Greece

2006-2007

MSc

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

Thesis: On the automation of Inductive Proofs in HOL Light

2001-2006

Undergraduate degree

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

Personal

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!