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 machine-mediated collaboration. In particular, I am working on formal verification, enterprise modelling, workflow analysis, 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 the latest technologies, allowing better control over their data, and formally establishing trust.
I am a member of the Centre of Intelligent Systems and their Applications (CISA) and the Mathematical Reasoning (DReaM) group.
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