We develop methods and tools to design, test, and evolve complex software and cyber-physical systems. Our ongoing projects focus on intelligent model management, multi-paradigm modelling, industrial-strength mutation testing, zero-touch testing, smart technical chatbots, and predictive decision support for emerging supply chains.
Across our many past projects, we have built strong foundations in model-driven engineering, software evolution, digital twins, simulation, and verification. Through both fundamental research and close industrial collaboration, we aim to make modern software and systems more reliable, scalable, and intelligent.