Software engineering

Formal methods and Model-driven engineering

Formal methods:

Formal modelling and analysis of complex (stochastic and continuous) systems, static analysis and model checking for automatic verification of safety properties, and automatic testing and debugging with spectrum-based fault localisation.

Model-driven engineering:

Model management and transformation, application of model-driven engineering principles to innovative domains, namely spreadsheet development and validation.