About Me

Petros PapapanagiotouI am a Senior Researcher at the School of Informatics, University of Edinburgh.

My research focuses on AI for machine-mediated collaboration. In particular, I am working on formal verification, process modelling, workflow analysis and social machines, and their applications in healthcare.

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 currently working on the “Digiflow” project aimed at the digitisation, monitoring, and optimisation of manufacturing workflows.

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. I led the commercialisation project WorkflowFM, aiming on the optimisation of everyday clinical practices. During that, I 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.

I continue to be an active member of the wider entrepreneurship community in Edinburgh. I am also looking to apply lean startup development techniques in my research.

Studies

I obtained my PhD at the same school, under the supervision of Jacques Fleuriot. My thesis is titled “A Formal Verification Approach to Process Modelling and Composition”.

My MSc thesis, under the same supervisor, is titled “On the automation of Inductive Proofs in HOL Light” and was awarded with Distinction.

I obtained my undergraduate degree – BSc(Hons) equivalent – at the Department of Informatics and Telecommunications, University of Athens, Greece.

Research

My research focuses on AI-supported human-machine collaboration. In particular, I am working on formal verification, process modelling, workflow analysis and social machines, and their applications in healthcare.

Process Modelling

Process Modelling

I provide consultation for systematic process modelling of collaborative tasks. I develop diagrammatic, process-based models in close collaboration with the involved stakeholders. I help them understand and formalise their everyday workflows.

Formal Verification

Formal Verification

I use mathematical logic and mechanical theorem proving to formally specify requirements and verify system properties. In particular, I am interested in automated reasoning, theorem proving, embedded logics, and linear logic. Formal verification can be used to provide mathematical guarantees of correctness and enhance trust in modern systems.

Workflow Analysis and Deployment

Workflow Analysis and Deployment

A big part of my research is on AI-based methods and tools for analysis and deployment of coordination protocols as workflows, including verification, concurrent enactment, decentralised architectures, and self-evolving workflows. Such technology can help people collaborate efficiently, transparently, and with less administrative effort.

Social Machines

Social Machines

My primary focus is on protocols for social coordination, agent-based human computation, establishing trust through formal verification, and process decentralisation. My ultimate aim is the democratisation of social machine engineering and management so that people can regain control of their social processes.

Technology Innovation

Technology Innovation

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

Healthcare Informatics

Healthcare Informatics

Applications of my research aim to improve everyday practices and the coordination of health and social care teams. I help NHS teams develop and optimize models of care in order to deliver safer and more consistent care across patients.

Projects

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

+
Digiflow: Digitizing Industrial Workflow, Monitoring and Optimization

Digiflow: Digitizing Industrial Workflow, Monitoring and Optimization
+
Healthcare Data Safe Havens

Healthcare Data Safe Havens
+
Sociograms: Rapid assembly of Social Machines

Sociograms: Rapid assembly of Social Machines
+
Lightweight Social Calculus

Lightweight Social Calculus
+
Integrated Care Pathways for HIV patients

Integrated Care Pathways for HIV patients
+
Logic-based workflows

Logic-based workflows

Students

These are student projects that I have supervised or co-supervised.

Nigel Hussain
Yaqing Jiang
Eirini Papakosta
Lie (Jessie) Ma
Alisa Dewanti
Vanessa Hanschke
Arjun Arunachalam
Marcus Sanatan
Ozgür Osman

Nigel Hussain

MSc student, 2018

Project title: Business Process Modelling of Care Pathways for HIV Patients

2nd supervisor

Yaqing Jiang

Yaqing Jiang

PhD student, 2014-today

Project title: Machine learning for interactive theorem proving

2nd supervisor

Eirini Papakosta

Eirini Papakosta

MSc student, 2017

Project title: An Interactive, Web-based Platform for Pulmonary Rehabilitation

2nd supervisor

Lie (Jessie) Ma

Lie (Jessie) Ma

MSc student, 2017

Project title: An Interactive, Web-based Platform for Pulmonary Rehabilitation

2nd supervisor

Alisa Dewanti

Alisa Dewanti

MSc student, 2016

Thesis title: Developing workflow-based guidelines for burns care in Scotland

1st supervisor

Vanessa Hanschke

Vanessa Hanschke

MSc student, 2016

Thesis title: A social machine for the Heart Manual Programme

2nd supervisor

Arjun Arunachalam

Arjun Arunachalam

MSc student, 2015

Thesis title: A RESTful intermediate web service which provides concurrency and security for the WorkflowFM composer

1st supervisor

Marcus Sanatan

Marcus Sanatan

4th year student, 2014

Thesis title: Diagrammatic web-based Interface for process composition

2nd supervisor

Ozgür Osman

4th year student 2014

Thesis title: Intelligent theorem recommendations for mechanical theorem proving

2nd supervisor

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.

+
An Interactive, Web-based Training Platform for Pulmonary Rehabilitation

An Interactive, Web-based Training Platform for Pulmonary Rehabilitation
+
Patterns for collaborative work in healthcare

Patterns for collaborative work in healthcare
+
Developing workflow-based guidelines for burns care in Scotland

Developing workflow-based guidelines for burns care in Scotland
+
Isabelle Light

Isabelle Light
+
Automation of inductive proofs in HOL Light

Automation of inductive proofs in HOL Light

Publications

Links

[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. 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
  2. Machine learning for inductive theorem proving (To appear)
    Yaqing Jiang, Petros Papapanagiotou, Jacques Fleuriot
    13th International Conference on Artificial Intelligence and Symbolic Computation (AISC). 2018
  3. 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
  4. 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

  5. WorkflowFM: A logic-based framework for formal process specification and composition [link]
    Petros Papapanagiotou, Jacques Fleuriot
    26th Conference on Automated Deduction (CADE) 2017
  6. 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
  7. 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
  8. 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
  9. 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

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

  11. 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
  12. 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
  13. 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

  14. 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
  15. Diagrammatically-driven formal verification of Web-Services composition [link]
    Petros Papapanagiotou, Jacques Fleuriot, Sean Wilson
    Diagrammatic Representation and Inference: 7th International Conference, Diagrams 2012

  16.  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
  17. 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

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

  19. RONTO: Relational to ontology schema matching [link]
    Petros Papapanagiotou, Polina Katsiouli, VassiliosTsetsos, Christos Anagnostopoulos, Stathes Hadjiefthymiades
    AIS SIGSEMIS BULLETIN 2006

 

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

Personal

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

I enjoy watching a number of TV series, as well as e-sports.

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

Blog

https://medium.com/@PetrosPapapa