I am a lecturer in Automated Reasoning at the School of Informatics of 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.
Forthcoming Event
Automated Deduction in Geometry 2012 – a forum for the exchange of ideas and views, the presentation of research results and progress, and for demonstrating software tools at the intersection of geometry and automated deduction - will be held in Edinburgh, UK, September 17 – 19, 2012. Submissions are invited.
Latest Refereed Publications
- Scott, P. and Fleuriot, J. D. (2012) A Combinator Language for Theorem Discovery. To appear in the proceedings of the Conferences on Intelligent Computer Mathematics (CICM 2012).
- Papapanagiotou, P., Fleuriot, J. D., and Grando A. (2012) Rigorous process-based modelling of patterns for collaborative work in healthcare teams. To appear in the proceedings of the 25th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2012).
- Papapanagiotou, P., Fleuriot, J. D. , and Wilson, S. (2012). Diagrammatically-driven formal verification of web-services composition. To appear in the proceedings of Diagrams 2012 conference.
- Fleuriot, J. D. (2011). Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL. Lecture Notes in Computer Science, 2011, Volume 6877/2011, 34-50, DOI: 10.1007/978-3-642-25070-5_2.
- Papapanagiotou, P. and Fleuriot, J. D. (2011). Formal verification of Web Services composition using Linear Logic and the pi-calculus. Proceedings of the 9th IEEE European Conference on Web Services (ECOWS 2011), 1 – 38, DOI: 10.1109/ECOWS.2011.18.
- Scott, P. and Fleuriot J. D. (2011). Composable Discovery Engines for Interactive Theorem Proving. Lecture Notes in Computer Science, 2011, Volume 6898/2011, 370-375, DOI: 10.1007/978-3-642-22863-6_28.