Computing Complete Cohorts of Virtual Phenotypes for In Silico Clinical Trials and Model-Based Precision Medicine
In Silico Clinical Trials (ISCT), i.e., clinical experimental campaigns carried out by means of computer simulations of computational models for human physiology, patho-physiology, Pharmacokinetics/Pharmacodynamics (PKPD) (aka Virtual Physiological Human, VPH, models), hold the promise to decrease time and cost for the safety and efficacy assessment of pharmacological treatments and biomedical devices, reduce the need for animal and human testing, and enable precision medicine, where personalised treatments optimised (or devices optimally configured) for selected individuals can be designed before being actually administered (or installed).
In this project we propose novel general-purpose computational methods and software (i.e., working on any VPH model) at the intersection of Artificial Intelligence (AI) and Model Checking to support uptake of ISCT in the early phases of the experimental assessments of new drugs or biomedical devices and model-based precision medicine.
We will evaluate our overall approach on two case studies in important areas of endocrinology: the female HPG axis and the glucose regulation mechanism in Type 1 Diabetes Mellitus (T1DM) patients. This is possible thanks to our multidisciplinary team and our external international partners.