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

Short CV

• 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

• PC Member: HyperAgents 2019, AAAI 2019, AAMAS 2018–2019, AISC 2018, IJCAR Workshop on Automated Theory eXploration (ATX 2012)
• Reviewer: MDPI Informatics,  Applied Intelligence (Springer)
• Sub-reviewer: Diagrams 2010-2016, IJCAR 2012, CICM

• 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

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. A Pragmatic, Scalable Approach to Correct-by-construction Process Composition Using Classical Linear Logic Inference [to appear]
   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
    AIS SIGSEMIS BULLETIN 2006

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