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