Workflow management meets the Internet of Things

PhD Studentship – Deadline: 16th December 2019


Workflow Management for Healthcare

Modelling and Optimizing Patient Pathways

Read More


The WorkflowFM Framework

A Logic-Based Framework for Formal Process Specification and Composition

Read More


Digitizing Industrial Workflow, Monitoring and Optimization

Read More

About Me

Petros PapapanagiotouDr 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


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:

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

Short CV


My research focuses on smart collaboration. In particular, I research formal workflows as collaboration contracts that specify the involved processes within or across networks and organisations, in a way that is unambiguous and understandable, yet amenable to rigorous analysis and deployment. This can lead to more transparency and trust, improved efficiency, and reduced administrative burdens.

I develop data-driven and AI methods and tools to support the entire lifecycle of workflow-based smart contracts: intuitive design, collaborative modelling, rigorous validation, automated deployment, and adaptive monitoring.

Process Modelling

Process Modelling

I provide consultation for systematic process modelling of collaborative tasks, using diagrammatic models to help stakeholders collectively understand and optimize their workflows.

Formal Verification

Formal Verification

I use logic-based reasoning to formally specify and verify system properties with the goal of enhancing trust in modern systems. In particular, I am interested in automated reasoning, theorem proving, embedded logics, and linear logic.

Workflow Analysis and Deployment

Workflow Analysis and Deployment

A big part of my research is AI-enabled analysis and deployment of coordination protocols as workflows to improve collaboration. This includes verification, concurrent enactmentdecentralised architectures, and self-evolving workflows.

Internet of Things

Internet of Things

I am interested in the coordination of IoT-enabled machines and complex event processing using sensor and workflow data to provide contextualized live monitoring and improve operational decision support (scheduling, resource and process management, etc).

Technology Innovation

Technology Innovation

I investigate cultural, ethical, and resource constraints in data-driven innovation and change management in large and public organisations, including issues of privacy and responsibility.

Healthcare Informatics

Healthcare Informatics

I help NHS teams develop and optimize models of care, adopt new digital technologies, and manage data better, in order to deliver safer and more consistent care across patients.


This list is not exhaustive. Feel free to contact me for more detailed, up-to-date information.


  • Co-organiser: Health-Informatics in Action (2 University-wide events), University of Edinburgh, 2018-2019
  • Technical Reviewer: Cancer Innovation Challenge 2018
  • Workshop Chair: 10th Conference on Intelligent Computer Mathematics (CICM 2017)
  • Co-organizer: IJCAR Workshop on Automated Theory eXploration (ATX 2012)
  • Co-organizer: 9th International Workshop on Automated Deduction in Geometry (ADG 2012)
  • Student representative: CISA 2011-2013
  • Panelist: “Artificial Intelligence in Healthcare – The State of the Art and Future”, Data Science in Health – Perspectives from Edinburgh and Singapore event, Singapore 2018 [Twitter]
  • Invited pitch: “WorkflowFM”, Digital Health Conference, Digital Health Institute (DHI), 2015
  • Invited presentation: “Workflow technologies for care pathways”, Scottish Intercollegiate Guidelines Network (SIGN), NHS Scotland, 2014
  • Invited Guest Lecture: Inductive Reasoning”, University of Jakarta, Indonesia, 2011
  • Invited talk: Formal Verification”, University of Athens, Greece, 2009
  • Invited talk: Automated Reasoning & Planning”, University of Athens, Greece, 2008


PhD Studentship available:

Workflow management meets the Internet of Things


  1. Yaqing Jiang: Machine learning for interactive theorem proving
    2014-2019 (2nd supervisor)



  1. Kezhi (Bill) Chen: Delay Analysis in Manufacturing Process
  2. Nigel Hussain: Business Process Modelling of Care Pathways for HIV Patients
    2018 (2nd supervisor)
  3. Eirini Papakosta: An Interactive, Web-based Platform for Pulmonary Rehabilitation
    2017 (2nd supervisor)
  4. Lie (Jessie) Ma: An Interactive, Web-based Platform for Pulmonary Rehabilitation
    2017 (2nd supervisor)
  5. Alisa Dewanti: Developing workflow-based guidelines for burns care in Scotland
  6. Vanessa Hanschke: A social machine for the Heart Manual Programme
    2016 (2nd supervisor)
  7. Arjun Arunachalam: A RESTful intermediate web service which provides concurrency and security for the WorkflowFM composer



  1. Marcus Sanatan: Diagrammatic web-based Interface for process composition
    2014 (2nd supervisor)
  2. Ozgür Osman: Intelligent theorem recommendations for mechanical theorem proving
    2014 (2nd supervisor)




[Edinburgh Research Explorer]* ♦ [Google Scholar] ♦ [DBLP]

Refereed Journal Publications

  1. Hazard Prevention in Mission Plans for Aerial Vehicles Based on Soft Institutions [link]
    Flavio Correa da Silva, Paul Chung, Marcelo Zuffo, Petros Papapanagiotou, Dave Robertson, Wamberto Vasconcelos
    Journal of Civil Aircraft Design and Research 2017

  2. A workflow-driven, formal methods approach to the generation of structured checklists for intra-hospital patient transfers [link]
    Areti Manataki, Jacques Fleuriot, Petros Papapanagiotou
    IEEE Journal of Biomedical and Health Informatics 2016
  3. Healthcare Data Safe Havens: Towards a logical architecture and experiment automation [link]
    Dave Robertson, Fausto Giunchiglia, Stephen Pavis, Ettore Turra, Gabor Bella, Elizabeth Elliot, Andrew Morris, Malcolm Atkinson, Gordon McAllister, Areti Manataki, Petros Papapanagiotou, Mark Parsons
    The Journal of Engineering 2016
  4. Softening electronic institutions to support natural interaction [link]
    Dave Murray-Rust, Petros Papapanagiotou, Dave Robertson
    Human Computation 2016

  5. A collaboration model for community-based software development with social machines [link]
    Dave Murray-Rust, Ognjen Scekic, Petros Papapanagiotou, Hong-linh Truong, Dave Robertson, Schahram Dustdar
    EAI Endorsed Transactions on Collaborative Computing. 2015

  6. Formal verification of collaboration patterns in healthcare [link]
    Petros Papapanagiotou, Jacques Fleuriot
    Behaviour and Information Technology. 2014

  7. Matching relational schemata to Semantic Web ontologies. [link]
    Polina Katsiouli, Petros Papapanagiotou, Vassilios Tsetsos, Christos Anagnostopoulos, Stathes Hadjiefthymiades
    Handbook of Research on Innovations in Database Technologies and Applications: Current and Future Trends. 2009

Refereed Conference & Workshop Publications

  1. A Pragmatic, Scalable Approach to Correct-by-construction Process Composition Using Classical Linear Logic Inference [link]
    Petros Papapanagiotou, Jacques Fleuriot
    128th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) Post-proceedings. 2018
  2. Correct-by-construction Process Composition Using Classical Linear Logic Inference [link]
    Petros Papapanagiotou, Jacques Fleuriot
    128th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) Pre-proceedings. 2018
  3. Machine learning for inductive theorem proving [link] [pdf]
    Yaqing Jiang, Petros Papapanagiotou, Jacques Fleuriot
    13th International Conference on Artificial Intelligence and Symbolic Computation (AISC). 2018
  4. Social Machines For All [link] [pdf]
    Petros Papapanagiotou, Alan Davoust, Dave Murray-Rust, Areti Manataki, Max Van Kleek, Nigel Shadbolt, Dave Robertson
    17th Conference on Autonomous Agents and MultiAgent Systems (AAMAS) 2018
  5. Towards Executable Representations of Social Machines [link]
    Dave Murray-Rust, Alan Davoust, Petros Papapanagiotou, Areti Manataki, Max Van Kleek, Nigel Shadbolt, Dave Robertson
    Diagrammatic Representation and Inference: 10th International Conference, Diagrams 2018

  6. WorkflowFM: A logic-based framework for formal process specification and composition [link]
    Petros Papapanagiotou, Jacques Fleuriot
    26th Conference on Automated Deduction (CADE) 2017
  7. Hazard identification for coordinated UAVs based on soft institutions [link]
    Flavio Correa Da Silva, Paul Chung, Marcello Zuffo, Petros Papapanagiotou, Dave Robertson, Wamberto Vasconcelos
    International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems (COIN) 2017
  8. Development of workflow-based guidelines for the care of burns in Scotland [link]
    Alisa Dewanti, Petros Papapanagiotou, Charlotte Gilhooly, Jacques Fleuriot, Areti Manataki, Laura Moss
    9th International Conference on e-Health. 2017
  9. A step towards the standardisation of HIV care practices [link]
    Cristina Alexandru, Daniel Clutterbuck, Petros Papapanagiotou, Jacques Fleuriot, Areti Manataki
    Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies – Volume 5: HEALTHINF. 2017
  10. Designing a social machine for the Heart Manual Service [link]
    Vanessa Hanschke, Areti Manataki, Cristina Alexandru, Petros Papapanagiotou, Carolyn Deighan, Louise Taylor, Dave Robertson
    Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies – Volume 5: HEALTHINF. 2017

  11. Workflow modelling of burns care protocols
    Petros Papapanagiotou, Alisa Dewanti, Areti Manataki, Jacques Fleuriot, Charlotte Gilhooly, Laura Moss
    The 26th SICS Annual Scientific Meeting, Scottish Intensive Care Society 2016

  12. Tracheostomy transfers: A case study in the application of formal methods to intra-hospital patient transfers [link]
    Areti Manataki, Jacques Fleuriot, Petros Papapanagiotou
    IEEE 27th International Symposium on Computer-Based Medical Systems (CBMS) 2014
  13. Modelling and implementation of correct by construction healthcare workflows [link]
    Petros Papapanagiotou, Jacques Fleuriot
    Business Process Management Workshops: BPM 2014 International Workshops. Lecture Notes in Business Information Processing. 2014
  14. Rigorous development of computer based Integrated Care Pathways for HIV patients [link]
    Petros Papapanagiotou, Jacques Fleuriot, Areti Manataki, Andrew Winter, Rak Nandwani, Daniel Clutterbuck, David Wilks
    Proceedings of Health Informatics Scotland Conference 2014

  15. Rigorous process-based modelling of patterns for collaborative work in healthcare teams [link]
    Petros Papapanagiotou, Jacques Fleuriot, Adela Grando
    25th International Symposium on Computer-Based Medical Systems (CBMS) 2012
  16. Diagrammatically-driven formal verification of Web-Services composition [link]
    Petros Papapanagiotou, Jacques Fleuriot, Sean Wilson
    Diagrammatic Representation and Inference: 7th International Conference, Diagrams 2012

  17.  Formal verification of Web Services composition using linear logic and the pi-calculus [link]
    Petros Papapanagiotou, Jacques Fleuriot
    IEEE Ninth European Conference on Web Services 2011
  18. A theorem proving framework for the formal verification of Web Services Composition [link]
    Petros Papapanagiotou, Jacques Fleuriot
    7th International Workshop on Automated Specification and Verification of Web Systems. Electronic Proceedings in Theoretical Computer Science 2011

  19. An Isabelle-like procedural mode for HOL Light [link]
    Petros Papapanagiotou, Jacques Fleuriot
    Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17 2010

  20. RONTO: Relational to ontology schema matching [link]
    Petros Papapanagiotou, Polina Katsiouli, VassiliosTsetsos, Christos Anagnostopoulos, Stathes Hadjiefthymiades


* Edinburgh Research Explorer contains Open Access PDF links to most of these papers.

Past Projects

These are projects that I have previously been involved in and are now considered to be concluded. Some of these are still being maintained or used in further research.

This list is not exhaustive. Feel free to contact me for more detailed, up-to-date information.


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–, and watching e-sports.

I play casual basketball regularly (contact me if interested to join).