Personal profile

Research Interests

My main field of research lies in AI Modelling, which spans areas such as interactive theorem proving, formal verification, process modelling, and AI/machine learning applied to healthcare and other complex, real-world domains.


1995-1999PhD in Artificial Intelligence (Automated Reasoning), Computer Laboratory, University of Cambridge

Thesis: A combination of geometry theorem proving and nonstandard analysis, with application to Newton's Principia.
Supervisor: Prof. Lawrence C. Paulson FRS

Winner of the British Computer Society Distinguished PhD Dissertation Award, 2000.

1991-1995MEng Artificial Intelligence, Department of Computing, Imperial College of Science, Technology and Medicine, University of London


Prof. Jacques Fleuriot received a  First Class Honours MEng Computing degree in Artificial Intelligence from Imperial College, London (1995) and a PhD in Automated Reasoning from the University of Cambridge (May 1999).  He 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 the mechanization of proofs from Newton's Principia using the proof assistant Isabelle.  He received a British Computer Society Distinguished Dissertation Award for this work in 2000.  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.

Prof. Fleuriot has been principal investigator on recent grants involving diverse areas such as collaborative theorem proving and AI-based modelling and predictions for healthcare.  He has been a principal invetigator and co-investigator on several grants on mathematical reasoning and the application of AI to healthcare, medicine and other domains such as manufacturing.  He is currently the principal supervisor for several PhD students and, over the years, has acted as principal or co-supervisor for over 15 successful PhD students.  He currenlty teaches courses in automated reasoning and Artificial Intelligence to undergraduates and masters students.

More recent details about his research and that of his collaborators and students can be found on the webpages of the Artificial Intelligence Modelling Lab (AIML).


Dive into the research topics where Jacques Fleuriot is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or