Our new paper on chronic illnesses and depression featured in UKRI news
Our new paper, Cluster and survival analysis of UK biobank data reveals associations between physical multimorbidity clusters and subsequent depression,...
Read More
4th April 2025 / public engagement, Talks
Edinburgh Science Festival: Who Wants to Live Forever?
Life-spans across the world are increasing, but this often overlooks the health-span: the period of life spent healthy and...
Read More
Scientific Reports Paper Out: Understanding hospital activity and outcomes for people with multimorbidity
Our paper come out in Nature Scientific Reports has just appeared. It investigates the relationships between in-hospital activity, multimorbidity and...
Read More
Our preprint on formally verified neurosymbolic trajectory learning is out on arXiv
Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces Astract: We present a novel formalisation of...
Read More
Our formalisation of Linear Resources and Process Compositions has been published in the Archive of Formal Proof
Abstract In this entry we formalise a framework for process composition based on actions that are specified by their input...
Read More
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