Dr Petros Papapanagiotou Chancellor's Fellow in Digital Technologies School of Informatics University of Edinburgh Bayes Centre, Rm 3.09 47 Potterrow Edinburgh EH8 9BT Tel: +44 (0)131 650 2957 Email: pe.p at ed.ac.uk
My research focuses on AI for smart collaborative systems. In particular, I am working on formal verification, enterprise modelling, workflow analysis, event-based systems and social machines, and their applications in healthcare and manufacturing.
I am interested in applied research on machines that can help people collaborate better, for example by digitizing processes, integrating AI technologies, analysing complex events, allowing better control over data, and formally establishing trust.
I am a member of:
- The AI Modelling Lab (AIML)
- The Artificial Intelligence and its Applications Institute (AIAI)
- The Mathematical Reasoning (DReaM) group
I am the Academic Coordinator for the IoT Research & Innovation Service.
I am an entrepreneur at heart, passionate for translational research, commercialisation, and innovation. I advocate lean startup techniques and customer/user-centred development in applied research.
My main industry-facing project WorkflowFM provides consultancy and infrastructure for workflow management using formally verified models, in collaboration with the industry and the public sector. Application domains include healthcare (optimizing care pathways and everyday clinical practices in the NHS) and Industry 4.0 (digitizing manufacturing workflows in the ongoing Digiflow project).
- 2019-today: Chancellor’s Fellow in Digital Technologies, School of Informatics, University of Edinburgh, UK
- 2018-2019: Researcher Co-Investigator in the Digiflow Project, School of Informatics, University of Edinburgh, UK
- 2014-2018: Research Associate in the SOCIAM Project, School of Informatics, University of Edinburgh, UK
Project Lead for 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.
- 2009-2014: PhD in Formally Verified Process Workflows, School of Informatics, University of Edinburgh, UK
Thesis: “A Formal Verification Approach to Process Modelling and Composition”
Supervisor: Jacques Fleuriot
- 2008-2009: Private, Research and Informatics Corps, Greek Army, Greece
- 2006-2007: MSc in 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