Jacques Fleuriot
Personal Chair of Artificial Intelligence
Member of Artificial Intelligence and its Applications Institute
CSE Lead of Advanced Care Research Centre (ACRC) Core Leadership Team
Sabbatical of Full Session [Sem 1 and Sem 2]
Research Interests
Artificial Intelligence and its use in modelling and reasoning about complex systems, safe and trustworthy AI, healthcare modelling, formal verification and interactive theorem proving, computer-based investigation of historical mathematics.
Email Address
+44 (0) 131 6509342
Publications - Edinburgh Research Explorer
Personal Page

Home : People 

Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail: school-office@inf.ed.ac.uk
Database generated page, please contact us with any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh