Skip to content


AI Modelling Lab Members

FleuriotJacques FleuriotMy 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.
Luna De FerrariLuna De Ferrari

Applied ML (broad and deep) and statistics for NLP and protein function prediction. Interested in DevOps, agile practices and software development coordination.
Romero MorenoGuillermo Romero Moreno
Interdisciplinary research in AI, ML, and network science applied to various areas, such as politics, health, biology, robotics, etc.
Ricardo ContrerasRicardo Contreras
Monitoring of dynamic process compositions and data processing with focus on older adults.
Paola GaldiPaola Galdi
Machine learning and statistical modelling for biomedical data, multimodal data integration, network-based modelling.
PalmerJake Palmer
Formalising and verifying voting methods using interactive theorem proving in Isabelle/HOL.
ChevallierMark ChevallierFormal verification of machine learning algorithms and their properties.
GaeteJorge Gaete VillegasExplainable AI for healthcare.
VaughanJames VaughanApplications of ML and Network Theory in Automated Theorem Proving; Business Process Modelling and IoT.
SmolaFilip SmolaInteractive theorem proving and formal verification, with application to automatic differentiation, category theory and process calculi.
ZhengJiawei ZhengUncertainty in complex event processing, process mining, and conformance checking.
ramon fernandez mir Ramon Fernández MirInteractive theorem proving and convex optimisation applied to hybrid systems verification.
DeLongLauren DeLongArtificial Intelligence and medicine/healthcare.
JiZonglin JiArtificial Intelligence for ICU care and predictions
SchmoettenRichard SchmoettenFormalising Haag-Kastler Nets in Higher-order Logic.
GeorgievKonstantin GeorgievMy 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.
SmithFiona SmithMy research interests lie in the ethical integration of AI-based tools into healthcare for the optimisation of patient care. I am particularly interested in the use of AI for the post-operative monitoring and evaluation of surgical outcomes for patients that have had plastic reconstructive surgery.
Matt WhelanMy main interests are in AI applications in psychiatry, with a particular focus on predicting mental/cognitive health outcomes from sleep and activity patterns.

Summer Interns