Understanding key processes in complex biological systems requires a multitude of methods and approaches, a combination of investigations from different disciplines. Modelling plays an important role in this process and in the last years specific attention has been paid to methods derived from the rich set of approaches generically called formal methods. They bring in the rigour of the mathematical formalism and the sophisticated plethora of analysis methods.
Research aims & objectives
This project is aiming to develop adequate computational modelling approaches, a combination of formal methods and analysis tools, that will allow to specify, analyse and provide the basis for making predictions with respect to the behaviour of various systems and synthetic biology phenomena. A special attention will be paid to skin systems jointly investigated with colleagues from the Faculty of Life Sciences.