Research output per year
Research output per year
PROF
Accepting PhD Students
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-1999 | PhD in Automated Reasoning, University of Cambridge |
Thesis title: A combination of geometry theorem proving and nonstandard analysis, with application to Newton's Principia | |
1991-1995 | MEng Artificial Intelligence, Imperial College of Science, Technology and Medicine, University of London |
Dr. 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.
Dr. Fleuriot has been principal investigator on recent grants involving diverse areas such as collaborative theorem proving and computer-based modelling for healthcare. He has been co-investigator on several grants on mathematical reasoning including a current EPSRC platform grant. He is currently the principal supervisor for several PhD students and. over the years, has acted as principal or co-supervisor for over 10 successful PhD students. He currenlty teaches courses in automated reasoning and formal verification to both undergraduates and masters students.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Review article › peer-review
Research output: Contribution to journal › Comment/debate › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Jacques Fleuriot (Peer reviewer), Dongming Wang (Peer reviewer) & Jacques Calmet (Peer reviewer)
Activity: Publication peer-review and editorial work types › Editorial activity
Tetsuo Ida (Editor) & Jacques Fleuriot (Editor)
Activity: Publication peer-review and editorial work types › Editorial activity
Jacques Fleuriot (Organiser)
Activity: Participating in or organising an event types › Participation in workshop, seminar, course
Jacques Fleuriot (Member of programme committee)
Activity: Participating in or organising an event types › Participation in conference
Fleuriot, J., Restocchi, V. & Seth, S.
1/08/21 → 30/07/24
Project: Research
UK industry, commerce and public corporations
1/04/20 → 31/03/27
Project: Research