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

What do data tell us about frailty?

Date: 26th January 2023

My research integrates data science and geriatric medicine to explore what different data sources and methods can tell us about frailty, a state of increased vulnerability to adverse health outcomes for individuals of the same chronological age.
Speaker: Lara Johnson

Detecting long-term deviation in Activities of Daily Living based on sensor data

Date: 18th November 2022

Activities of Daily Living (ADLs) behaviour patterns and daily routines can give many insights into a person’s mental and physical state. This work aims to detecting long-term deviation in ADLs based on sensor data.
Speaker: Leo Kravtchin

Creating a GUI for the Proter simulator

Date: 18th November 2022

We describe our work on developing a GUI for the PROTER simulator that supports its existing core functionality, which is currently only available programmatically.
Speaker: Gareth Dawson