Formal Methods for the Specification and Verification of software/hardware systems: (timed) (probabilistic) automata, (timed) process algebras, model checking, static analysis, abstract interpretation, adaptive systems.
Systems Biology and Bioinformatics: modelling and simulation of biological systems, emergent behaviours, membrane computing, modelling of ecosystems, multi-agent systems, RNA folding and structure comparison, topological data analysis.