Skip to content

News

4th December 2024 / Code, Formalization, news

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
2nd August 2024 / Code, Formalization, news

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
2nd August 2024 / news, Papers

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
5th April 2024 / news

Fiona Smith’s exhibition “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
1 2 3 6