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

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

Links

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

Refereed Journal Publications

1. Correa da Silva, F S, Chung, P W H,  Zuffo, M K, Papapanagiotou, P, Robertson, D & Vasconcelos, W 2017, Hazard Prevention in Mission Plans for Aerial Vehicles Based on Soft Institutions, Journal of Civil Aircraft Design and Research. [link]
   

   ---

2. 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. [link]
3. 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]
4. Murray-Rust, D, Papapanagiotou, P & Robertson, D 2016, Softening electronic institutions to support natural interaction. Human Computation. [link]
   

   ---

5. 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. [link]
   

   ---

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

   ---

7. 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. [link]

Refereed Conference & Workshop Publications

1. Papapanagiotou, P, Davoust, A, Murray-Rust, D, Manataki, A, Van Kleek, M, Shadbolt, N, Robertson, D 2018, Social Machines For All. 17th Conference on Autonomous Agents and MultiAgent Systems (AAMAS), (To appear).
2. Murray-Rust, D, Davoust, A, Papapanagiotou, P, Manataki, A, Van Kleek, M, Shadbolt, N, Robertson, D 2018, Towards Executable Representations of Social Machines. 10th International Conference on the Theory and Application of Diagrams. (To appear).
   

   ---

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

   ---

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

   ---

9. 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). [link]
10. 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. [link]
11. 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. [link]
    

    ---

12. 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). [link]
13. Papapanagiotou, P, Fleuriot, J & Wilson, S 2012, Diagrammatically-driven formal verification of Web-Services composition. Diagrammatic Representation and Inference: 7th International Conference, Diagrams 2012. [link]
    

    ---

14. 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. [link]
15. 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. [link]
    

    ---

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

    ---

17. Papapanagiotou, P, Katsiouli, P, Tsetsos, V, Anagnostopoulos, C & Hadjiefthymiades, S 2006, RONTO: Relational to ontology schema matching. AIS SIGSEMIS BULLETIN. [link]

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

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

https://medium.com/@PetrosPapapa

The Robomed Healthcare Blockchain: Revolution or Delusion?

Blockchain is hailed as a revolutionary technology that has the potential to disrupt every type of business. Naturally, people have started…

2018.01.22 / 9min read. Read More