Skip to content


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 exhbition “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
19th October 2023 / news

Special Issue on Mathematics in Artificial Intelligence

Paola Galdi and Jacques Fleuriot are editing a special issue of the journal Mathematics in Computer Science focused on the...
Read More
18th August 2023 / news

Paper on conformance checking over probabilistic events accepted at HICSS-57

The paper on "Alignment-based conformance checking over probabilistic events" by Jiawei Zheng, Petros Papapanagiotou and Jacques Fleuriot has been accepted...
Read More
8th August 2023 / news

Pre-print on Associations between Morbidities in Small But Important Subgroup using a Bayesian approach

Our paper on the "Associations between Morbidities in Small But Important Subgroups: A Novel Bayesian Approach for Robust Multimorbidity Analysis...
Read More
1 2 3 6