1. Formally validating multidimensional computational models Ovidiu Pârvu, PhD student Department of Computer Science Supervisors: Professors David Gilbert and Nigel Saunders

2. Why? 2 Predicted behaviour Simulations Natural biosystem Computational model Validation Abstraction In vitroIn silico

3. What? 3 Numeric properties (e.g. concentrations) Spatial patterns (e.g. populations of cells) Methodology and software for automatic in silico validation of spatio-temporal computational models Andrea Samoré (University of Bologna), July 2012 http://depts.washington.edu/soslab/gro/gallery.html

4. Model How? E.g. The probability > 0.9 that the average area of the bacterial colony increases always during [0, 100] Real system Model checker E.g. Bacterial colony 4 Spatio-temporal properties

5. Practical benefits? 5 1.Reducing model development time by detecting errors early

6. Practical benefits? 6 1.Reducing model development time by detecting errors early 2.Reducing the number of wet-lab validation experiments

7. Formally validating multidimensional multiscale computational models Under development

8. Happy to discuss 8 ovidiu.parvu@brunel.ac.uk ovidiu.parvu http://ovidiuparvu.com