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. |
 | Paola Galdi | Machine learning and statistical modelling for biomedical data, multimodal data integration, network-based modelling. |
 | Ricardo Contreras | Monitoring of dynamic process compositions and data processing with focus on older adults. |
 | Guillermo Romero Moreno | Interdisciplinary research in AI, ML, and network science applied to various areas, such as politics, health, biology, robotics, etc. |
 | Jake Palmer | Formalising and verifying voting methods using interactive theorem proving in Isabelle/HOL. |
 | Mark Chevallier | Formal verification of machine learning algorithms and their properties. |
 | 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). |
 | Jorge Gaete Villegas | Explainable AI for healthcare. |
 | James Vaughan | Applications of ML and Network Theory in Automated Theorem Proving; Business Process Modelling and IoT. |
 | Filip Smola | Interactive theorem proving and formal verification, with application to automatic differentiation, category theory and process calculi. |
 | Jiawei Zheng | Uncertainty in complex event processing, process mining, and conformance checking. |
 | Ramon Fernández Mir | Interactive theorem proving and convex optimisation applied to hybrid systems verification. |
 | 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. |
 | Konstantin Georgiev | My current interests lie in applied Data Science for geriatric medicine, particularly rehabilitation needs and trajectories of older patients. This includes conducting observational studies on the impact and constraints of treatments performed on patients with frail and multimorbid conditions. |
 | 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. |