The key vision of my research is to enable software engineering to develop trustworthy autonomous systems as they automate more and more processes of our daily lives. In particular, I focus on:

• Quality assurance to ensure high-quality software by engineering specifications, automated testing, model checking, intelligent software analysis, runtime verification, and controller synthesis, where the software or the quality assurance methods themselves are autonomous/AI-enabled.

• Explainability of (AI-enabled) quality assurance methods, which provides engineers with the transparency needed to validate and trust the results, ultimately lowering the barrier to adoption.

Since my Ph.D. on Model-Driven Engineering of Self-Adaptive Software, I research autonomous software systems and particularly, self-adaptive software systems, which are systems that autonomously adapt themselves and impact the environment based on automated decisions. While the goal of my dissertation was to maximize the flexibility of such systems, I am now researching their quality assurance and explainability.

I evaluate my research on research exemplars as well as real-world systems ranging from open-source software to industrial systems in collaboration with partners such as Bosch Research.