29th August 2024 / news
Jiawei Zheng passes his PhD Defence!
Congratulations to Jiawei Zheng who has passed his PhD viva with no corrections. His thesis on Process-aware Pattern Recognition and...
Read More
Our formalisation of Lie Groups and Algebras has been published in the Archive of Formal Proof
Abstract Lie Groups are formalised as locales, building on the AFP theory of Smooth Manifolds. We formalise the diffeomorphism group...
Read More
Our survey paper on Neurosymbolic AI for reasoning over knowledge graphs has just been published in TNNLS
Abstract: Neurosymbolic artificial intelligence (AI) is an increasingly active area of research that combines symbolic reasoning methods with deep learning...
Read More
23rd May 2024 / news
Our paper “Linear Resources in Isabelle/HOL” has just been published in the Journal of Automated Reasoning
Abstract: We present a formal framework for process composition based on actions that are specified by their input and output...
Read More
27th April 2024 / news
Opportunity: Fully funded PhD in predicting harm from prescribed drugs
Fully Funded PhD in Predicting harm from prescribed drugs in people with polypharmacy, multimorbidity and frailty. The aim of this...
Read More
5th April 2024 / news
Fiona Smith’s exhibition “The BOX” premieres at the Edinburgh Science Festival!
We are proud to announce that AI Modelling Lab PhD Student Fiona Smith's exhibition "The BOX" is running from the...
Read More
5th April 2024 / news
Jorge Gaete Villegas passes his PhD viva
Congratulations to Jorge Gatete Villegas who succesfully defended his thesis on Modelling and Predicting Medical Outcomes for Intensive Care Patients...
Read More
17th February 2024
Our second analysis of the impact of COVID-19 on Scotland’s care-homes published in Age and Ageing
Following from our previous analysis of care-home outbreaks of COVID-19 in Scotland in 2020, which appeared in Age and Ageing...
Read More
6th February 2024 / news
Lancet Healthy Longevity paper published
Changing care for people with short life expectancy is recommended, but performance of existing tools that predict 1-3 year mortality...
Read More
1st February 2024 / news
Vacancy: Research Associate in Care Technologies in Context
Applications are invited for a Research Associate in Care Technologies in Context. The employment will be until the 31st of...
Read More