My expertise revolves around different aspect of the modeling of complex systems, including formal models, probabilistic models, and model-driven engineering. I am mostly interested in safety-critical and mission-critical application domains (e.g., automotive, space, oil&gas) and System-of-Systems (SoS) architectures.

Currently, my research interests focus on applying model-driven engineering techniques to support the development and V&V of resilient systems, with a particular focus on automating quantitative performability analysis, and on formalizing system development artifacts using domain-specific languages.