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
-
Our second analysis of the impact of COVID-19 on Scotland’s care-homes published in Age and Ageing
17th February 2024
-
Lancet Healthy Longevity paper published
6th February 2024
-
Vacancy: Research Associate in Care Technologies in Context
1st February 2024
-
Opportunity: Fully Funded PhD in Predicting harm from prescribed drugs
8th November 2023
-
Special Issue on Mathematics in Artificial Intelligence
19th October 2023
Some of our Existing and Past External Engagements
Recent Events
How to set up interventional and/or invasive clinical studies not involving investigational medicinal products in the NHS
This talk will give a brief overview of the steps involved in setting up a clinical study in the NHS that does not involve an investigational medicinal product (Non-CTIMPs).
Speaker: Fiona Smith
Predicting long-term incidence of new-onset dementia using primary and secondary care data from Electronic Health Records
In this talk, I will share some of the key stages of developing and validating a supervised Machine Learning tool for identifying people at risk of new-onset dementia at 5 and 10 years over a large NHS Lothian population
Speaker: Konstantin Georgiev
I will give a whirlwind tour of my work in the formalisation of manifolds in Isabelle/HOL, and I will show how to get around the restrictions of simple types to formalise interesting properties of vector fields.
Speaker: Richard Schmoetten