Edinburgh Research Explorer

Mr. Petros Papapanagiotou

Senior Researcher

Profile photo

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. Machine Learning for Automated Inductive Theorem Proving

    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. Social Machines for All

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

View all (23) »

Research activities & awards

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

    Activity: Participating in or organising an eventParticipation in conference

  2. 10th Conference on Intelligent Computer Mathematics

    Activity: Participating in or organising an eventParticipation in workshop, seminar, course

  3. Applied Intelligence (Journal)

    Activity: Publication peer-review and editorial workPublication peer-review

View all (4) »

ID: 16618033