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

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

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

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