His research interests lie on the analysis, verification, and optimal control of heterogeneous and complex dynamical models – in particular of stochastic hybrid systems – and in their applications in the life sciences and in cyber-physical systems (particularly involving energy and power networks).