AI Modelling Lab Members
 | Jacques Fleuriot | My main field of research lies in AI Modelling, which spans areas such as interactive theorem proving, formal verification, process modelling, and machine learning and Explainable AI techniques applied to healthcare and other complex domains. |
 | Ricardo Contreras | Monitoring of dynamic process compositions and data processing with focus on older adults. |
 | Nuša Farič | Nuša has interests in psychology, health psychology, AI, femtech, women's health, health content on Wikipedia and innovative health solutions. She studied at the University of Glasgow (BSc Hons Psychology), UCL (MSc Health Psychology), and PhD (Health Psychology and Informatics for the UCL Institute of Health Informatics). |
 | Filip Smola | Interactive theorem proving and formal verification, with application to automatic differentiation, category theory and process calculi. |
 | Jorge Gaete Villegas | Explainable AI for healthcare. |
 | James Vaughan | Applications of ML and Network Theory in Automated Theorem Proving; Business Process Modelling and IoT. |
 | Lauren DeLong | Artificial Intelligence and medicine/healthcare. |
 | Zonglin Ji | Artificial Intelligence for ICU care and predictions |
 | Richard Schmoetten | Formalising Haag-Kastler Nets in Higher-order Logic. |
 | Matt Whelan | My main interests are in AI applications in psychiatry, with a particular focus on predicting mental/cognitive health outcomes from sleep and activity patterns. |
 | Alex Hyman | Interested in exploring the world of Isabelle and formally verifying mathematics |