I am a member of the School of Informatics at the university of Edinburgh. My main field of research lies in interactive theorem proving and its use in areas such as formalized mathematics and formal verification. I am particularly interested in the investigation of mathematical reasoning – both historical and contemporary – using proof assistants.

PhD in Formal Modelling and Verification for Healthcare: Are you interested in applying formal methods to real-world healthcare processes? If so, contact me. Funding may be available for good students.

PhD in Collaborative Theorem Proving: As part of the ProofPeer initiative, I am interested in supervising students on the application of machine learning and social computation to collaborative theorem proving. Funding may be available for good students. If this  sounds like something you’d like to be involved in, get in touch!

Some of my latest research:

  • I am the Principal Investigator for ProofPeer, an EPSRC-funded project on Collaborative Theorem Proving.
  • Formal verification for healthcare, with an emphasis on the modelling of computer- and human-based processes and their interactions. More information is available here.
  • I have re-started (Jan 2017) my work  on the formal reconstruction in the theorem prover Isabelle of proofs from Euler‘s famous Introductio in analysin infinitorum (Introduction to the Analysis of the Infinite), first published in 1748.

Latest Publications

  • Alexandru C-A., Clutterbuck D., Papapanagiotou P., Fleuriot J. and Manataki A. (2017). A Step Towards the Standardisation of HIV Care Practices, 10th International Conference on Health Informatics. In press.
  • Obua S., Scott P. and Fleuriot J. (2016). ProofScript: Proof Scripting for the Masses. International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, Springer LNCS, Volume 9965, 333-348.
  • Manataki A., Fleuriot J. and Papapanagiotou P. (2016)  A workflow-driven, formal methods approach to the generation of structured checklists for intra-hospital patient transfers. The IEEE Journal of Biomedical and Health Informatics, Issue 99, 1-7.
  • Papapanagiotou P., Dewani 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.
  • Scott P. and Fleuriot J. (2016). Compass-free Navigation of Mazes. EPiC Series in Computing, Volume 39, 143-155.

Comments are closed.