RMSS 2017

Paolo Zuliani

I will give an overview of my recent work involving the application of formal reasoning techniques to Systems Biology problems. In particular, I will show how techniques developed for formal verification of hybrid systems can be applied to case studies in Biology. Hybrid systems are mathematical models that combine discrete and continuous behaviour. They have been traditionally used for modelling and analysing cyber-physical systems, which feature digital computing modules interacting with a physical environment (e.g., insulin infusion pumps, car cruise control, etc.). Recently, hybrid systems have found application in modelling complex biological systems involving discrete modes and continuous-time behaviour. In this talk I will focus on hybrid models of cardiac cells and of cancer therapies. I will use delta-complete verification techniques to identify parameter ranges related to cardiac disorders and to synthesise patient-specific prostate cancer therapies. Finally, I will give a brief overview of an upcoming project on developing personalised UVB therapies for psoriasis.