Model-based design, analysis and control of complex dynamic systems; Model checking, abstract interpretation, logic and automata theory, control theory; Computational models in systems biology; Applied formal methods, software and systems engineering, UML.