- Project Dates: From 2016 to 2019
- Project Leader: Dr. Paolo Zuliani (PI)
- Sponsors: Rosetrees Trust
Overarching Research Aim
To develop efficient and scalable formal verification and computational modelling techniques, with application to systems biology and cyber-physical systems.
Current Rosetrees Research Project Detail
We aim to derive personalised ultraviolet B (UVB) treatment regimes for psoriasis, a chronic and disabling inflammatory skin disease, affecting ~2% of the UK population, that prevents patients from living a normal life. We will integrate computational and multi-dimensional statistical modelling with biomarker analysis to understand what determines individual patient response to therapeutic UVB. Next, by combining computational modelling with formal verification, we will derive algorithms that compute optimised and individualised UVB treatment protocols. In silico modelling will permit rigorous testing of systematic variations in standard phototherapy protocols, adjusted for individual factors; only verified regimes will progress through to clinical studies.
Summary of Researcher Background
Dr Paolo Zuliani is a Lecturer in the School of Computing Science at Newcastle University. He was previously the Technical Coordinator of the NSF project `CMACS - Computational Modeling and Analysis for Complex Systems' at the Department of Computer Science, Carnegie Mellon University, USA. Dr. Zuliani's expertise lies largely in formal methods for reasoning about computing systems. He is in particular interested in the verification of biological systems models and cyber-physical systems.
Dr. Zuliani received his Laurea degree in computer science from Universita' degli Studi di Milano, Italy, and his DPhil in computer science from the University of Oxford, UK. After receiving his DPhil, he taught at the University of Bolzano, Italy, for two years. He was then awarded a Marie Curie Fellowship from the European Commission, which he spent at Princeton University and Oxford.