I  am a (full) Professor in the School of Informatics and hold a Chair of Artificial Intelligence. I am also:

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 health/care, medicine and other complex domains.

These days, I am particularly interested in the interactions between, and the combination of, symbolic/knowledge- and data-driven approaches to Artificial Intelligence. More information about current research interests, projects etc. can be found on our AI Modelling Lab website.

Opportunities:

PhD in AI for Health/Care and Medicine: Are you interested in developing and applying AI techniques ranging from formal verification to machine learning to real-world health and care processes? Are you interested in Explainable and/or causal AI for medicine, health and care? If the answer is yes to any of these questions, contact me. Funding may be available for good candidates.

PhD in Formal Modelling and Verification for AI: I am interested in supervising PhD students who wish to explore and develop the foundations of AI algorithms and approaches, e.g. machine learning (including Deep Learning) and logic-based learning, via formal modelling and verification. Candidates will need to have a strong  background in mathematics, an interest in computational logic/theorem proving and experience in machine learning and other aspects of AI. Funding is available for strong applicants.

PhD in Formalised Mathematics for Physics: I am looking for research students interested in  the  formalization of physics, whether theoretical or with a view towards its applications to the real world (e.g. the formal verification of safety properties related to robotics and autonomous navigation). Funding may be available for strong students.

Some of my latest research interests:

  • AI for health and care, with an emphasis on the modelling of computer- and human-based processes and their interactions using AI techniques, and on the use of of AI/ML for predictive and causal modelling in health and care. More information is available on the AIML webpage.
  • Formal verification for AI/ML, especially with regards to reinforcement learning, autonomous agents and differentiable programs.
  • Formalised mathematics: I am working  on the formal reconstruction in the theorem prover Isabelle of proofs from Euler‘s famous Introductio in analysin infinitorum (Introduction to the Analysis of the Infinite), first published in 1748 and on Euler’s Institutiones calculi differentialis  (Foundations of differential calculus). More generally, I am interested in all aspects of formalised mathematics.
  • Process modelling for complex systems including manufacturing, healthcare and beyond.

Latest Refereed Publications (kind of up-to-date, see the AIML’s publication webpage for more information):

  • Smola F. and Fleuriot J. D. (2024). Linear Resources in Isabelle/HOL. Journal of Automated Reasoning, 68(9).
  • DeLong L. N., Fernández Mir R. and Fleuriot J. D. (2024).Neurosymbolic AI for Reasoning Over Knowledge Graphs: A Survey. IEEE Transactions on Neural Networks and Learning Systems.
  • Moreno G. R., Restocchi R., Fleuriot J. D., Anand A., Mercer S., Guthrie B. (2024). Multimorbidity analysis with low condition counts: A robust Bayesian approach for small but important subgroups.  eBioMedicine, Volume 102, https://doi.org/10.1016/j.ebiom.2024.105081.
  • Burton J. K.,  McMinn M., Vaughan J. E.,  Nightingale G., Fleuriot J., Guthrie B. (2024). Analysis of the impact of COVID-19 on Scotland’s care-homes from March 2020 to October 2021: national linked data cohort analysis. To appear in Age and Ageing Journal.
  • Ho L., Pugh C., Seth S., Arakelyan S., Lone N., Lyall M. J., Anand A., Fleuriot J. D., Galdi P., Guthrie B. (2024). Predicting short- to medium-term care home admission risk in older adults: a systematic review of externally validated models. Age and Ageing, Volume 53, Issue 5.

 Recent Working Papers:

  • DeLong L. N., Fernández Mir R., Whyte M., Ji Z., Fleuriot J. D. (2023). Neurosymbolic AI for Reasoning on Graph Structures: A Survey. arXiv:2302.07200 (Under Review).

A Few Papers currently in Preparation:

  • Mechanizing the Hyperdual Numbers in Isabelle/HOL.
  • L’Hospital’s Theorems and Euler’s Notions of Orders of Infinity in Isabelle/HOL.
  • Reconstructing Euler in Isabelle: The Exponential Series as an Infinite Polynomial.

Comments are closed.