Computational modelling of existing and engineered biological systems and nanodevices. Stochastic and deterministic simulation, moment closure, model checking.
Parameter estimation for biological systems.
Concurrent languages, in particular process calculi and Petri nets.
Processing (segmentation, tracking) of living cells images.