The Artificial Intelligence Modelling Lab (AIML) engages in a range of theoretical and applied research in Artificial Intelligence (AI) and Machine Learning (ML). Particular areas of interest include interactive theorem proving, formal modelling and verification, machine learning and its combination with higher level symbolic reasoning, as well as its application to healthcare and other complex, real-world domains.

Recent Events

In this talk, I will present four different brain network models derived from magnetic resonance imaging and discuss applications where features derived from brain networks are used to train predictive models and characterise clinical populations
Speaker: Paola Galdi

In this talk, I will describe my plans for work in neurosymbolic AI for biomedical applications that demonstrate ways to utilize the unique abilities of its methods for common challenges surrounding biomedical data.
Sepaker: Lauren DeLong

I will talk about my work on formalising Algebraic QFT (AQFT) in Isabelle/HOL.
Speaker: Richard Schmoetten