12th June 2026 / Formalization
Reconstruction of Euler’s proof published in the AFP
In this Isabelle formalisation, we reconstruct Euler's derivation of the power series for the exponential function as expounded in his famous Introductio in analysin infinitorum, first published in 1748.
Read More
4th June 2026 / Formalization, neurosymbolic
IsaGrad paper accepted at LogicNN 2026
Our paper "IsaGrad: Verified Automatic Differentiation over Computational Graphs in Imperative HOL" has been accepted and will be presented at...
Read More
31st May 2026 / Formalization
The Gelfand–Naimark–Segal Construction published in the AFP
This entry formalises complete normed algebras equipped with an involution, so-called C*-algebras.
Read More
21st May 2026 / pre-print
New pre-print out on the pitfalls in understanding the clustering of multiple long-term conditions
We have a new pre-print entitled "Pitfalls in understanding how multiple long-term conditions cluster: whole population and age-stratified associations in...
Read More
New pre-print out on a proof of concept study on integrated physiological and activity monitoring
Our pre-print entitled "Integrated Technologies of Care: Proof of Concept Study on Integrated Physiological and Activity Monitoring System to Enhance...
Read More
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