Skip to content

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.

Some of our Existing and Past External Engagements
Recent Events

I will discuss my PhD project, which aims to explore AI-based approaches for the postoperative monitoring of microvascular free flaps that are as effective and accurate as clinical assessment at identifying compromised free flaps but which are less subjective.
Speaker: Fiona Smith

My work aims to use and improve neurosymbolic AI to demonstrate how these unique characteristics are especially useful for challenges which are particularly prominent in biomedical data science such as meaningful multimodal data  integration for clinical datasets, discovering drug mechanisms of action via long-range dependencies, and few shot learning to predict and understand rare, serious side effects.
Speaker: Lauren DeLong

This research aims to incorporate time series events from the care pathways of ICU patients to enable better survival predictions over time. In this talk, we describe our work on combining Process Mining and Deep Learning and applying it to mortality predictions for ICU patients with liver diseases.
Speaker: Zonglin Ji