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
-
Job Opportunity: Research Research Associate in Neurosymbolic AI
3rd December 2022
-
New Project funded by the Edinburgh Laboratory for Integrated Artificial Intelligence (ELIAI)
23rd October 2022
-
Opportunity: Multimorbidity PhD Programme for Health Professionals
11th August 2022
-
Job Opportunity: Research Fellow in Knowledge Representation for Medical Artificial Intelligence
1st August 2022
-
Paper accepted at CICM 2022
15th July 2022
Some of our External Engagement












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
Detecting long-term deviation in Activities of Daily Living based on sensor data
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