Modeling of Complex, Self-organising Systems

We develop theory and tools that support formal representation, modelling and analysis of complex stochastic dynamical systems. We are particularly interested in uncovering mechanisms of complex biological systems such as gene regulation, protein signalling and collective behaviour. Following the analogy ’model = computer programme’, we broadly combine the approaches of formal programme verification, mathematical modelling and probabilistic reasoning.