Edinburgh Research Explorer

Dr Jacques Fleuriot

Senior Lecturer

Profile photo

Phone: +44 131 650 9342

Fax: +44 131 651 1426

Willingness to take Ph.D. students: Yes

Research Interests

Mechanical geometry theorem proving, mechanization of standard and nonstandard analysis, interactive and automatic proofs.

Qualifications

1995-1999PhD in Automated Reasoning, University of Cambridge
 Thesis title: A combination of geometry theorem proving and nonstandard analysis, with application to Newton's Principia
1991-1995MEng Computing, Imperial College of Science, Technology and Medicine, University of London

Biography

Dr. Jacques Fleuriot received a MEng Computing, First Class, from Imperial College, London (1995) and a PhD in Automated Reasoning from the University of Cambridge (1999).  His received scholarships from the Government of Mauritius, Imperial College, The University of Cambridge and the Overseas Research Students Awards Scheme in support of his studies.  His PhD focused on automated theorem proving with application to Newton's Principia.  He received a BCS Distinguished Dissertation Award for this work.  In 1999, after completing his PhD, he was appointed to the post of Lecturer in Automated Reasoning at the School of Informatics at the University of Edinburgh.

Dr. Fleuriot has been principal investigator on recent grants on proof-planning and computer-based modelling.  He has been co-investigator on several grants on mathematical reasoning including a current EPSRC platform grant.  He is currently principal supervisor for three PhD students and has acted as principal or co-supervisor for seven successful PhD students.  He has also supervised several MSc students.  In recent years, he has taught courses in automated reasoning for MSc and final year undergraduates as well as co-teaching a course on reasoning and agents for second year undergraduates.  He was course organiser for Informatics 2 from 2008-2011 and is currently Director of Research for the School of Informatics.

Research students

Current PhD Students

Phil Scott

Petros Papapanagiotou

Previous PhD Students

Ewen Maclean (2003)

Lucas Dixon (2006)

Sean Wilson (2010)

Laura Meikle (2013)

Research outputs

  1. Formal verification of collaboration patterns in healthcare

    Research output: Contribution to journalArticle

  2. Rigorous process-based modelling of patterns for collaborative work in healthcare teams

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

  3. A Combinator Language for Theorem Discovery

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

View all (16) »

Research activities & awards

  1. IJCAR 2012 - The 6th International Joint Conference on Automated Reasoning

    Activity: Participation in conference, seminar or training courseParticipation in conference

  2. The 9th International Workshop on Automated Deduction in Geometry

    Activity: Participation in conference, seminar or training courseParticipation in workshop, seminar, course

  3. Royal Society of Edinburgh/Scottish Executive Support Research Fellowship

    Activity: Awards and AccoladesFellowships awarded competitively

View all (4) »

ID: 11500