Generate a tailored SOP for Dr. Jacques Fleuriot. Improve your application with a focused, well-structured draft.
Prof. Jacques Fleuriot received his MEng degree in Computing with a specialization in Artificial Intelligence from Imperial College, London in 1995, followed by a PhD focused on Automated Reasoning from the University of Cambridge in May 1999. His doctoral work centered on the mechanization of proofs of Newton's Principia using the Isabelle proof assistant, which earned him the British Computer Society Distinguished Dissertation Award in 2000. After completing his PhD, he was appointed as a Lecturer in Automated Reasoning at the School of Informatics at the University of Edinburgh, where he has since been involved in diverse research areas including collaborative theorem proving and AI-based modeling in healthcare. He has supervised numerous PhD students and teaches courses in Automated Reasoning and Artificial Intelligence at both undergraduate and master's levels. His current research interests lie in AI Modelling, with emphasis on interactive theorem proving, formal verification, and applications of AI/machine learning in complex real-world domains.
University of Edinburgh • Edinburgh, Scotland
Lecturer and later Professor in Automated Reasoning at the School of Informatics.
Department of Marketing