About Me

I am a postdoctoral Research Associate at the School of Informatics, University of Edinburgh.

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.

I am currently part of the SOCIAM project which focuses on the theory and practice of Social Machines. I am also a member of the Centre of Intelligent Systems and their Applications (CISA) and the Mathematical Reasoning (DReaM) group.

I am also an entrepreneur, working on the commercialisation project WorkflowFM, aiming on the optimisation of everyday clinical practices.

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

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, and then analyse them with rigorous means.

Formal Verification

Formal Verification

I use mathematical logic and mechanical theorem proving to formally specify requirements and verify properties for trustworthy 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 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.

Social Machines

Social Machines

My primary focus is on protocols for social coordination, agent-based human computation, establishing trust through formal verification, process decentralisation, and engineering.

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. I’m gradually updating the information to make it up to date.

+
Developing workflow-based guidelines for burns care in Scotland

Developing workflow-based guidelines for burns care in Scotland
+
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.

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

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

MSc student, 2015

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

1st supervisor

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. I’m gradually updating the information to make it up to date.

+
Patterns for collaborative work in healthcare

Patterns for collaborative work in healthcare
+
Isabelle Light

Isabelle Light
+
Automation of inductive proofs in HOL Light

Automation of inductive proofs in HOL Light

Publications

Refereed Journal Publications

  1. Manataki, A, Fleuriot, J & Papapanagiotou, P 2016, A workflow-driven, formal methods approach to the generation of structured checklists for intra-hospital patient transfers, IEEE Journal of Biomedical and Health Informatics, vol PP, no. 99, pp. 1-7. [link]
  2. Robertson, D, Giunchiglia, F, Pavis, S, Turra, E, Bella, G, Elliot, E, Morris, A, Atkinson, M, McAllister, G, Manataki, A, Papapanagiotou, P & Parsons, M 2016, Healthcare Data Safe Havens: Towards a logical architecture and experiment automation, The Journal of Engineering. [link]
  3. Murray-Rust, D, Papapanagiotou, P & Robertson, D 2016, Softening electronic institutions to support natural interaction. Human Computation, vol 2, no. 2. [link]
  4. Murray-Rust, D, Scekic, O, Papapanagiotou, P, Truong, H, Robertson, D & Dustdar, S 2015, A collaboration model for community-based software development with social machines. EAI Endorsed Transactions on Collaborative Computing, vol 1, no. 5. [link]
  5. Papapanagiotou, P & Fleuriot, J 2014, Formal verification of collaboration patterns in healthcare. Behaviour and Information Technology, vol 33, no. 12, pp. 1278-1293. [link]
  6. Katsiouli, P., Papapanagiotou, P., Tsetsos, V., Anagnostopoulos, C., & Hadjiefthymiades, S. 2009. Matching relational schemata to Semantic Web ontologies. Handbook of Research on Innovations in Database Technologies and Applications: Current and Future Trends, IGI Global, pp. 434–442. [link]

Refereed Conference & Workshop Publications

  1. Papapanagiotou, P, Fleuriot, J 2017. WorkflowFM: A logic-based framework for formal process specification and composition, 26th Conference on Automated Deduction (CADE), (accepted).
  2. Correa Da Silva, F S, Chung, P, Zuffo, M, Papapanagiotou, P, Robertson, D, Vasconcelos, W 2017. Hazard identification for coordinated UAVs based on soft institutions, International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems (COIN), (accepted).
  3. Dewanti, A, Papapanagiotou, P, Gilhooly, C, Fleuriot, J, Manataki, A & Moss, L 2017 Development of workflow-based guidelines for the care of burns in Scotland. 9th International Conference on e-Health, (accepted).
  4. Alexandru, C-A, Clutterbuck, D, Papapanagiotou, P, Fleuriot, J & Manataki, A 2017, A step towards the standardisation of HIV care practices, Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies – Volume 5: HEALTHINF, pp. 457-462. [link]
  5. Hanschke, V, Manataki, A, Alexandru, C-A, Papapanagiotou, P, Deighan, C, Taylor, L & Robertson, D 2017, Designing a social machine for the Heart Manual Service, Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies – Volume 5: HEALTHINF, pp. 435-440. [link]
  6. Papapanagiotou, P, Dewanti, A, Manataki, A, Fleuriot, J, Gilhooly, C, Moss, L 2016, Workflow modelling of burns care protocols. The 26th SICS Annual Scientific Meeting, Scottish Intensive Care Society.
  7. Manataki, A, Fleuriot, J & Papapanagiotou, P 2014, Tracheostomy transfers: A case study in the application of formal methods to intra-hospital patient transfers. IEEE 27th International Symposium on Computer-Based Medical Systems (CBMS), IEEE Computer Society, pp. 257-262. [link]
  8. Papapanagiotou, P & Fleuriot, J 2014, Modelling and implementation of correct by construction healthcare workflows. Business Process Management Workshops: BPM 2014 International Workshops. Lecture Notes in Business Information Processing, vol. 202, Springer, pp. 28-39. [link]
  9. Papapanagiotou, P, Fleuriot, J, Manataki, A, Winter, A, Nandwani, R, Clutterbuck, D & Wilks, D 2014, Rigorous development of computer based Integrated Care Pathways for HIV patients. Proceedings of Health Informatics Scotland Conference 2014. [link]
  10. Papapanagiotou, P, Fleuriot, J & Grando, A 2012, Rigorous process-based modelling of patterns for collaborative work in healthcare teams. 25th International Symposium on Computer-Based Medical Systems (CBMS), 1-6. [link]
  11. Papapanagiotou, P, Fleuriot, J & Wilson, S 2012, Diagrammatically-driven formal verification of Web-Services composition. Diagrammatic Representation and Inference: 7th International Conference, Diagrams 2012. Lecture Notes in Computer Science, vol. 7352, Springer, pp. 241-255. [link]
  12. Papapanagiotou, P & Fleuriot, J 2011, Formal verification of Web Services composition using linear logic and the pi-calculus. IEEE Ninth European Conference on Web Services. IEEE Computer Society, pp. 31-38. [link]
  13. Papapanagiotou, P & Fleuriot, J 2011, A theorem proving framework for the formal verification of Web Services Composition. 7th International Workshop on Automated Specification and Verification of Web Systems. Electronic Proceedings in Theoretical Computer Science, vol. 61, pp. 1-16. [link]
  14. Papapanagiotou, P & Fleuriot, J 2010, An Isabelle-like procedural mode for HOL Light. C Fermüller & A Voronkov (eds), Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17. Lecture Notes in Computer Science, vol. 6397, Springer, pp. 565-580. [link]
  15. Papapanagiotou, P, Katsiouli, P, Tsetsos, V, Anagnostopoulos, C & Hadjiefthymiades, S 2006, RONTO: Relational to ontology schema matching. AIS SIGSEMIS BULLETIN, vol 3, no. 3-4, pp. 32-36. [link]

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