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.

News
Some of our Existing and Past External Engagements
Recent Events

Progress towards Algebraic Quantum Field Theory in Isabelle/HOL

Date: 22nd August 2024

During this talk, I report on progress we have made towards formalising Algebraic Quantum Field Theory (AQFT) and present formalisations in the theories of manifolds, Lie groups, and involutive algebras. I will outline a plan to quickly obtain a minimal formalisation of AQFT, suitable for the study of theorems with physical interpretation.
Speaker: Richard Schmoetten

Predicting brain health outcomes from objectively-assessed sleep duration in UK Biobank

Date: 14th June 2024

This presentation will presentan assessment of the feasibility of predicting brain health outcomes from sleep duration derived using accelerometery data from UK Biobank.
Speaker: Matt Whelan

Multimorbidity analysis with low condition counts: a robust Bayesian approach for small but important subgroups

Date: 3rd May 2024
|

In this talk, I will briefly introduce common network science approaches to multimorbidity research, present and explain our methodological approach, and present and show how our method can be easily used by the multimorbidity community via our released software package.
Speaker: Guillermo Romero Moreno