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

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

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

Manifold Theory in Isabelle/HOL

Date: 23rd February 2024

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