Research

My research interests are mainly in the area of formal methods. They include: modelling of biological systems, signalling pathways, cell-cycle control network. Development of Biologically-oriented query languages. Specification languages for Systems Biology. Efficient stochastic simulation techniques. Modeling of wireless network protocols. Analysis of fault tolerant distributed software solutions. Application of  exact and approximated model checking techniques. Algorithms for the analysis of models of large dimension: memory efficient analysis of models. Design and implementation of specification languages. Parallelisation of verification algorithms. Statistical verification.