New pre-print on understanding the activities of older adults via logic and data
In this work, we introduce a framework for representing and reasoning about the Activities of Daily Living of older adults...
Read More
27th June 2025 / news
James Vaughan passes his PhD viva
Congratulations to James Vaughan who has passed his PhD viva with minor corrections. His thesis was on "Adaptable Latent Semantics...
Read More
23rd June 2025 / news, public engagement
The Royal Society Disability Technology report is out
The Disability Technology report, which explores the potential for data-driven digital technologies to reduce barriers that disabled people encounter in...
Read More
20th June 2025 / Jobs
Job vacancy: ACRC Fellow
The Advanced Care Research Centre (ACRC) and the School of Informatics are offering one proleptic fellowship for researchers with the potential...
Read More
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