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.

News
Some of our External Engagement
Recent Events

Network models and machine learning for neuroimaging data

Date: 23rd September 2022

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

The Usage and Improvement of Neurosymbolic AI for Biomedical Applications

Date: 9th September 2022

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

Formalising Haag-Kastler Nets In Higher-Order Logic

Date: 31st August 2022

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