Edinburgh Research Explorer

Dr Petros Papapanagiotou

Chancellor's Fellow in Digital Technologies

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

Research outputs

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

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

  2. Correct-by-construction Process Composition Using Classical Linear Logic Inference

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

  3. Machine Learning for Automated Inductive Theorem Proving

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

View all (24) »

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