29th November 2025
Our paper on understanding the ADL of older adults has been published by IEEE Sensors
Our paper describing "A Personalised Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes" has been published by the journal IEEE Sensors.
Read More
Our paper on differentiable Signal Temporal Logic for neurosymbolic AI has been published by LIPIcs
GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning Authors Mark Chevallier , Filip Smola , Richard Schmoetten , Jacques D. Fleuriot ...
Read More
New pre-print out on our qualitative study of older adults living with sensors at home
Our paper on "Early experiences and views of older adults living with sensing technology at home: A qualitative study" is...
Read More
2nd October 2025 / Jobs
Research Assistant in Health Data Science and Innovation
The Centre for Population Health Sciences at the Usher Institute within The University of Edinburgh is looking for an experienced...
Read More
2nd October 2025 / Jobs
Data Analyst in Health Data Science and Innovation
The Centre for Population Health Sciences at the Usher Institute within The University of Edinburgh is looking for Data Analyst...
Read More
15th August 2025 / news
Alex Hyman offered a studentship to start a PhD in Artificial Intelligence
Congratulations to Alex Hyman, who has been offered a full studentship to do a PhD in Artificial Intelligence. He will...
Read More
Our pre-print on differentiable Signal Temporal Logic for neural learning is out on arXiv
Abstract: We present GradSTL, the first fully comprehensive implementation of signal temporal logic (STL) suitable for integration with neurosymbolic learning....
Read More
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