Edinburgh Research Explorer

Petros Papapanagiotou

Chancellor's Fellow in Digital Technologies

Profile photo

Willingness to take PhD students: Yes

Education/Academic qualification

2009Doctor of Philosophy (PhD), School of Informatics
A Formal Verification Approach to Process Modelling and Composition
2006Master in Science, School of Informatics
On the automation of inductive proofs in HOL Light

Websites

Administrative Roles

Academic Coordinator of the IoT Research and Innovation Service

Research outputs

  1. A Real-world Case Study of Process and Data Driven Predictive Analytics for Manufacturing Workflows

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Computer-supported ethical rules for collaboratively sharing data

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

View all (26) »

Research activities & awards

  1. 17th International Conference on Autonomous Agents and Multiagent Systems

    Activity: Participating in or organising an event typesParticipation in conference

  2. 10th Conference on Intelligent Computer Mathematics

    Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

  3. Applied Intelligence (Journal)

    Activity: Publication peer-review and editorial work typesPublication peer-review

View all (4) »

ID: 16618033